The general notion of a domain-specific type libraryneeds to be added to ADL, in order to define constraint syntax forhigher-level types such as Ordinal, Quantity, and various textualtypes.