Back to working on typechecker, updating everything to reflect new AST