Environment stores things by TapId, not string
Kind check in unify
Reworked TIEnv again