#KJ-42 Refactor the elaboration of the qualifier of 'Invoke. For all constructs that use methodLookup now the proper final result of methodLookup is the term argsElaborated, with minimal required arguments. Now we can refactor what comes before argsElaborated.