Annotate the AST with the result of type inference.
WIP Implement SSA form and C backend
cleanup
wip use teh typed ast kinda just protting
wip using teh typed ast sucks cus broken