Some refinement of -Xlint interpolation warning.

I had covered a few more cases working on this recently.
The warnings in several more cases involving polymorphism,
currying, and selects vs. idents receive more refined
handling.
Merge pull request #3000 from paulp/pr/xlint

Some refinement of -Xlint interpolation warning.