symbol_table
actually commit the symbol_table
change TypeChecker to Resolver