FIX missing supertypes of types