Added compile option to the classify-error infrastructure. Added more subtypep tests on member types.