TC-C Code to Write

See The src/combine Directory

combine::Binder

Write it from scratch, inheriting from object::Binder and overload::Binder.

combine::TypeChecker

Write it from scratch, inheriting from object::TypeChecker and overload::TypeChecker.

Complete auxiliary code

Complete the body of the functions in tasks.cc and libcombine.cc.