Right now typechecking is done by printing out the AST, and then parsing it, and then typechecking _that_. But why not just typecheck the ast we have?
Right now typechecking is done by printing out the AST, and then parsing it, and then typechecking that. But why not just typecheck the ast we have?