Unique membership class
Uniques: Type hierarchy table
pos
value
unique membership class