Split off Supertypes from Types.