SI-2066 Plug a soundness hole with overriding, tcpoly

Two PolyType-s should only be relatable for <:< or =:= if the
variances of their type parameters line up.