TC-A, Ad Hoc Polymorphism (Function Overloading)
TC-A is an additional assignment.
At the end of this stage, the compiler must be able to resolve overloaded
function calls. These features are triggered by the options
--overfun-bindings-compute and --overfun-types-compute/-O. This
extension can be combined using --c-overload.
Relevant lecture notes include old/05-names.pdf and 27-overloading.pdf.