Ast now has a type variable slot for misc stuff
Parsers have been adapted. Now stages can make transforms betweens Asts