Add benchmarks
Replace Bool literal with Char literal. Bools need not be literals
*hard-code* ghc-7.6.3 and also build benchmarks in Makefile
TI not specific to IO
Use EitherT instead of ErrorT
runTI does not return final state
Remove trailing whitespace
Also build Test
Remove 'remove'
Uniform TypeEnv handling in ti
Move ti to be a local declaration to typeInference
Convert ti to use WriterT
Test: Clear warnings
Benchmark: Fix warnings
Add record literals/types
Comment out bu/test'/removeAssum
Extract ti/tiLit back out of typeInference. Add TypeEnv combinators
-O2 and clean test and benchmark too
Records seem to work on most basic example
Add two examples