[m-rev.] for review: Fix problems with higher-order inst matching with polymorphic modes.

[Peter Wang]

On Wed, 1 Oct 2014 16:16:18 +1000, Peter Wang <novalazy at gmail.com> wrote:
> On Mon, 18 Aug 2014 16:06:37 +1000, Peter Wang <novalazy at gmail.com> wrote:
> > XXX contravariance_poly is broken but that may be due to a weakness
> > elsewhere
> 
> This fixes the last known problem exposed by this patch series.

If there are no objections, I will commit the series (with some minor
touchups) in a couple of days.

Peter