Little modification on parser.y and syntax_tree.h
Try todo
Typechecking phase 2.1