some progress on the L2 compiler
finished liveness, and some AST refactorings that fell out of that