T-TAbs + kind environment

T-TAbs requires expanding the environmet with a mapping to a kind, which
of course failed due to the environment mapping to Types. Added a second
environment (ugly).