Type and CompositeType are Eq,Ord instances