Subtype Relations and Other Constraints(Lab)