Subtype Relations and Other Constraints