Redirect some calls to finalResultType.

They depended on things happening which are not supposed
to be done by finalResultType. Specifically, widening.
I added a method which does what finalResultType is documented
to do, and called that instead. See dropPolyAndMethodTypes.