make TypeUnion free from type member ops, just one cardinality