5.4.3 OCL Representation of DataTypes Constraints

   [C-4-1] A TypeAlias instance cannot alias itself.context TypeAlias inv:self.type <> self

   [C-4-2] A Union can have at most one default UnionMember instance.context Union inv:self.allFeatures->select(isDefault)->size <= 1