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