We have top types, bottom types and subtypes, when are we going to get domtypes?

(also where do switchtypes fit in)