Attribute domains and subtypes