Manually merged Brazil files into TT
Brazil (only) uses a context functor
Merged BrazilInput with BrazilDesugar
Removed unused value.ml, machine.ml
Merged TT's input.ml with desugar.ml
Renamed doTerm to desugar in Input & BrazilInput
Moved non-source files out into subdirectories
First compiling version of TT->Brazil
Added Brazil features to TT frontend
tt.native can process test/t.tt
TT->Brazil output now generates handlers
Removed unused code files
Upped the version number to 0.1
Minor code cleanup
Added Brazil-verification phase to TT.
Prettier debugging output
Fixed bugs in verifier.
Got rid of separate br program, for now
Renamed BrazilTyping.Infer to Brazil.Verify
Renamed BrazilNorm to Norm