support unification of Of types like Of<In->B, A> with A->B in both directions, support unification of Of types (e.g. Of<In->B, A> with Of<A->In, B> in both directions