SI-2066 Plug a soundness hole higher order type params, overriding

PolyType-s parameterized by higher order type parmaeters should only
be relatable with <:< or =:= if the variances of their type parameters
line up.