symbol tables built properly, working on typechecking