made Reference disjoint from Identifier rather than subtype