typechecker for System T
an evaluator and lots of cleanup in system t
a couple obvious performance things, but system t is slow anyway because of unary arithmetic