Types still need kinds
Type inference environment

Tweak to MetaTV representation too