Started work on tt equivalence algorithm
Porting type-theoretic examples to tt
Implemented mkApp
Finished first version of equivalence algorithm
Make val handlers truly optional
Bug fixes; more work towards TT handlers
Flattening of some nested computations
Test input for TT handlers