No rank.
Refactor compiler; all branch-prods in one function.  13 fails.
Fix up compiler.  All tests pass again.
In AST, Terms contained in TermNodes.  Compiler needs work.
Compiler can generate names.  Compiler tests pass now.
Bring parser, desugarer in Tamsin up to speed.  All tests pass.