Re-enable contractions for parameter binding constraints between identical type variables.
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

arvedviehweger/swift,rudkx/swift,natecook1000/swift,therealbnut/swift,nathawes/swift,shahmishal/swift,sschiau/swift,therealbnut/swift,codestergit/swift,russbishop/swift,glessard/swift,roambotics/swift,uasys/swift,atrick/swift,danielmartin/swift,hooman/swift,allevato/swift,Jnosh/swift,Jnosh/swift,johnno1962d/swift,codestergit/swift,devincoughlin/swift,KrishMunot/swift,return/swift,arvedviehweger/swift,milseman/swift,roambotics/swift,CodaFi/swift,natecook1000/swift,sschiau/swift,lorentey/swift,harlanhaskins/swift,ben-ng/swift,CodaFi/swift,shahmishal/swift,allevato/swift,rudkx/swift,bitjammer/swift,austinzheng/swift,felix91gr/swift,dduan/swift,amraboelela/swift,JaSpa/swift,tkremenek/swift,dduan/swift,karwa/swift,shajrawi/swift,gribozavr/swift,therealbnut/swift,jopamer/swift,arvedviehweger/swift,swiftix/swift,practicalswift/swift,xedin/swift,JGiola/swift,karwa/swift,rudkx/swift,calebd/swift,tardieu/swift,alblue/swift,tinysun212/swift-windows,austinzheng/swift,devincoughlin/swift,dduan/swift,therealbnut/swift,roambotics/swift,JaSpa/swift,hughbe/swift,xwu/swift,jmgc/swift,CodaFi/swift,sschiau/swift,tkremenek/swift,xwu/swift,jopamer/swift,milseman/swift,JaSpa/swift,tkremenek/swift,zisko/swift,frootloops/swift,manavgabhawala/swift,benlangmuir/swift,parkera/swift,lorentey/swift,arvedviehweger/swift,slavapestov/swift,gribozavr/swift,natecook1000/swift,shajrawi/swift,nathawes/swift,ben-ng/swift,bitjammer/swift,OscarSwanros/swift,tinysun212/swift-windows,gregomni/swift,danielmartin/swift,gribozavr/swift,return/swift,tjw/swift,alblue/swift,milseman/swift,ahoppen/swift,glessard/swift,uasys/swift,huonw/swift,ken0nek/swift,tinysun212/swift-windows,OscarSwanros/swift,glessard/swift,aschwaighofer/swift,dduan/swift,zisko/swift,nathawes/swift,codestergit/swift,nathawes/swift,airspeedswift/swift,karwa/swift,kperryua/swift,Jnosh/swift,gottesmm/swift,airspeedswift/swift,danielmartin/swift,gregomni/swift,djwbrown/swift,Jnosh/swift,jckarter/swift,KrishMunot/swift,danielmartin/swift,tinysun212/swift-windows,natecook1000/swift,allevato/swift,benlangmuir/swift,uasys/swift,felix91gr/swift,KrishMunot/swift,gribozavr/swift,nathawes/swift,xwu/swift,harlanhaskins/swift,deyton/swift,tkremenek/swift,uasys/swift,OscarSwanros/swift,deyton/swift,jopamer/swift,airspeedswift/swift,russbishop/swift,djwbrown/swift,dreamsxin/swift,practicalswift/swift,austinzheng/swift,aschwaighofer/swift,benlangmuir/swift,shajrawi/swift,russbishop/swift,huonw/swift,natecook1000/swift,devincoughlin/swift,jckarter/swift,roambotics/swift,apple/swift,therealbnut/swift,gregomni/swift,Jnosh/swift,uasys/swift,gregomni/swift,dduan/swift,benlangmuir/swift,SwiftAndroid/swift,devincoughlin/swift,IngmarStein/swift,ben-ng/swift,gottesmm/swift,jopamer/swift,return/swift,jopamer/swift,djwbrown/swift,milseman/swift,tardieu/swift,gmilos/swift,parkera/swift,JaSpa/swift,xedin/swift,tardieu/swift,amraboelela/swift,nathawes/swift,practicalswift/swift,calebd/swift,atrick/swift,xedin/swift,tinysun212/swift-windows,aschwaighofer/swift,gmilos/swift,roambotics/swift,jckarter/swift,arvedviehweger/swift,codestergit/swift,rudkx/swift,atrick/swift,JaSpa/swift,deyton/swift,zisko/swift,OscarSwanros/swift,airspeedswift/swift,alblue/swift,codestergit/swift,swiftix/swift,dduan/swift,uasys/swift,karwa/swift,JaSpa/swift,zisko/swift,johnno1962d/swift,Jnosh/swift,kstaring/swift,stephentyrone/swift,shahmishal/swift,shahmishal/swift,arvedviehweger/swift,xedin/swift,lorentey/swift,calebd/swift,alblue/swift,amraboelela/swift,karwa/swift,hughbe/swift,IngmarStein/swift,frootloops/swift,johnno1962d/swift,ken0nek/swift,swiftix/swift,gregomni/swift,ken0nek/swift,jtbandes/swift,shahmishal/swift,ben-ng/swift,sschiau/swift,xwu/swift,slavapestov/swift,shajrawi/swift,swiftix/swift,felix91gr/swift,hughbe/swift,karwa/swift,slavapestov/swift,jmgc/swift,practicalswift/swift,lorentey/swift,karwa/swift,CodaFi/swift,xedin/swift,sschiau/swift,jmgc/swift,xwu/swift,bitjammer/swift,amraboelela/swift,KrishMunot/swift,Jnosh/swift,kstaring/swift,JGiola/swift,alblue/swift,frootloops/swift,kstaring/swift,jckarter/swift,zisko/swift,manavgabhawala/swift,johnno1962d/swift,russbishop/swift,brentdax/swift,atrick/swift,felix91gr/swift,parkera/swift,modocache/swift,JGiola/swift,SwiftAndroid/swift,allevato/swift,shajrawi/swift,karwa/swift,brentdax/swift,harlanhaskins/swift,manavgabhawala/swift,shahmishal/swift,xwu/swift,zisko/swift,gribozavr/swift,harlanhaskins/swift,codestergit/swift,tinysun212/swift-windows,therealbnut/swift,stephentyrone/swift,IngmarStein/swift,brentdax/swift,apple/swift,apple/swift,slavapestov/swift,return/swift,deyton/swift,devincoughlin/swift,practicalswift/swift,SwiftAndroid/swift,parkera/swift,russbishop/swift,allevato/swift,tjw/swift,kstaring/swift,shajrawi/swift,ahoppen/swift,johnno1962d/swift,jmgc/swift,austinzheng/swift,manavgabhawala/swift,lorentey/swift,glessard/swift,lorentey/swift,hughbe/swift,tjw/swift,arvedviehweger/swift,kperryua/swift,aschwaighofer/swift,manavgabhawala/swift,kstaring/swift,modocache/swift,stephentyrone/swift,swiftix/swift,harlanhaskins/swift,gribozavr/swift,dreamsxin/swift,gottesmm/swift,therealbnut/swift,xwu/swift,ahoppen/swift,apple/swift,slavapestov/swift,airspeedswift/swift,parkera/swift,xedin/swift,jtbandes/swift,KrishMunot/swift,return/swift,devincoughlin/swift,gmilos/swift,xedin/swift,atrick/swift,felix91gr/swift,gmilos/swift,allevato/swift,gottesmm/swift,CodaFi/swift,shahmishal/swift,calebd/swift,tardieu/swift,tjw/swift,frootloops/swift,felix91gr/swift,OscarSwanros/swift,zisko/swift,kperryua/swift,tkremenek/swift,jckarter/swift,tardieu/swift,deyton/swift,SwiftAndroid/swift,natecook1000/swift,gottesmm/swift,gregomni/swift,ken0nek/swift,uasys/swift,CodaFi/swift,alblue/swift,jtbandes/swift,hooman/swift,calebd/swift,aschwaighofer/swift,johnno1962d/swift,devincoughlin/swift,slavapestov/swift,ken0nek/swift,tjw/swift,gmilos/swift,codestergit/swift,hooman/swift,jtbandes/swift,huonw/swift,tardieu/swift,tjw/swift,benlangmuir/swift,ahoppen/swift,russbishop/swift,austinzheng/swift,shahmishal/swift,kperryua/swift,swiftix/swift,practicalswift/swift,roambotics/swift,gottesmm/swift,bitjammer/swift,harlanhaskins/swift,manavgabhawala/swift,dduan/swift,kstaring/swift,parkera/swift,tkremenek/swift,hooman/swift,practicalswift/swift,amraboelela/swift,devincoughlin/swift,milseman/swift,parkera/swift,jtbandes/swift,ahoppen/swift,hughbe/swift,atrick/swift,ken0nek/swift,IngmarStein/swift,return/swift,aschwaighofer/swift,danielmartin/swift,ahoppen/swift,rudkx/swift,OscarSwanros/swift,nathawes/swift,huonw/swift,OscarSwanros/swift,airspeedswift/swift,shajrawi/swift,calebd/swift,jtbandes/swift,airspeedswift/swift,gribozavr/swift,djwbrown/swift,jopamer/swift,calebd/swift,gmilos/swift,sschiau/swift,natecook1000/swift,parkera/swift,stephentyrone/swift,ben-ng/swift,austinzheng/swift,brentdax/swift,swiftix/swift,djwbrown/swift,tkremenek/swift,allevato/swift,rudkx/swift,JaSpa/swift,jopamer/swift,slavapestov/swift,sschiau/swift,return/swift,hooman/swift,djwbrown/swift,jmgc/swift,alblue/swift,deyton/swift,modocache/swift,bitjammer/swift,lorentey/swift,harlanhaskins/swift,brentdax/swift,stephentyrone/swift,kperryua/swift,brentdax/swift,JGiola/swift,modocache/swift,CodaFi/swift,ben-ng/swift,danielmartin/swift,glessard/swift,gottesmm/swift,JGiola/swift,shajrawi/swift,jckarter/swift,ken0nek/swift,modocache/swift,lorentey/swift,kstaring/swift,brentdax/swift,djwbrown/swift,stephentyrone/swift,tjw/swift,jckarter/swift,KrishMunot/swift,apple/swift,SwiftAndroid/swift,huonw/swift,tinysun212/swift-windows,huonw/swift,KrishMunot/swift,frootloops/swift,glessard/swift,modocache/swift,stephentyrone/swift,amraboelela/swift,hooman/swift,bitjammer/swift,practicalswift/swift,apple/swift,milseman/swift,jtbandes/swift,kperryua/swift,sschiau/swift,bitjammer/swift,deyton/swift,IngmarStein/swift,benlangmuir/swift,frootloops/swift,SwiftAndroid/swift,hughbe/swift,jmgc/swift,jmgc/swift,modocache/swift,aschwaighofer/swift,russbishop/swift,xedin/swift,amraboelela/swift,SwiftAndroid/swift,IngmarStein/swift,JGiola/swift,milseman/swift,IngmarStein/swift,hooman/swift,ben-ng/swift,tardieu/swift,gribozavr/swift,manavgabhawala/swift,felix91gr/swift,danielmartin/swift,johnno1962d/swift,austinzheng/swift,gmilos/swift,frootloops/swift,huonw/swift,kperryua/swift,hughbe/swift