Description: This domain implements ordered objects such that the type has OrderedSet. Adapted from OrderedVariableList.
object : T -> Union(%,"failed")
object(s) returns a member of the object set or failed