Currently the ADL2 and AOM2 documents leaf constraints on atomic primitive types, and lists of primitive types (briefly) but not on intervals.