TC-A Improvements

Possible improvements include:

Object overloading

Object overloading can be achieved by implementing the object::OverfunBinder and object::OverfunTypeChecker in src/object/overfun-binder.* and src/object/overfun-type-checker.*.