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
extension can be combined using
Relevant lecture notes include old/05-names.pdf.