4cd252d9d5
Some things are not implemented yet for allSupertypes, such as KType->Type mapping of types and generic substitution of built-in types