Initial tt directory with old TT files
Stash work on inputTT
Merge branch 'master' into tt2
Imported fix to tt.tex
Moved ocamlbuild includes from Makefile to _tags
Continued implementing TT per tt.pdf
Merge branch 'master' into tt2

Conflicts:
	brazil/brazil.ml
	brazil/context.ml
Added Typing.type_of
Fixed typos in tt.pdf
More work on tt2, including interp.ml
Infix operators
Infrastructure for environments
Added patterns; fixed WithHandle execution
Added wildcard patterns; examples/eff.tt tests
Made val case optional in handlers
Optional finally clause; arbitrary order
Fixed finally semantics
Added brazil literals to TT
Defaults to building tt and brazil
Extend literal examples
Add/use InputTT.mk* helper functions