Preserve orientation when unifying kinds

This MR fixes yet another manifestation of the trickiness caused by Note [Fundeps with instances, and equality orientation].

I wish there was a more robust way to do this, but this fix is a definite improvement.

Fixes #25597 (closed)