semantic: Take account of default arguments when resolving overloads.