Dealias less in OrderingConstraint.replace and AvoidMap

[joroKr21]

Basically if the transformation doesn't apply to the dealias type, then return the original type instead of the dealiased one.

In general it's reduce dealiasing to a minimum when typing, because it can affect type unification as shown in the tests.

Unfortunately this doesn't handle the case of a singleton type alias, because widenSingletons also dealiases and the same fix doesn't work.

[joroKr21]

I just opened to run the CI but I didn't find time to check the failures yet

[ckipp01]

Hey @joroKr21, just wanted to check in. Do you plan on returning back to this?

[joroKr21]

Maybe. But for now I will close it because I have no time.