Fixed exports from TC/*
Fixed up things in prep for TC
Start of unification tricks
Wrote down our fancier approach to kind inference