swift234

Re-enable contractions for parameter binding constraints between identical type variables.

In these cases, we should just go ahead and remove the redundant constraints:
- They don't help us derive a solution for the system
- Not doing so might leave "dangling" constraints that will make the system unsolvable