evincarofautumn
commented
11 years ago - Resolve names into sets of possible overloads
- Let the typechecker add this information back into the AST
- During typechecking, select the unique overload that typechecks