Turned on debugging in the compiler, to allow exception backtraces
Moved the context-printing code from tt.ml to context.ml
Added Syntax.shiftOperation
Added an index shift operation for (desugared but not type checked) terms
Indicies in handler are now shifted appropriately to match the context of use
Added debugging-print code to desugar
Removed comment-debugging output from the lexer
Added Syntax.string_of_xxx to view raw ASTs
Fixed buggy beta-reductions (pi eliminations)
More readable tests in t.tt