commented type_checker.cc