reindent some code
integrate frontend (lexer,parser) with type checker

No longer need to generate ids for AST nodes, instead, walk the AST
and generate fresh type vars for every expression, and assign into the
`info` field of the AST