[ConstraintSystem] Implement simplication of assorted `Type` elements
[ConstraintSystem] Implement simplication of assorted `Type` elements

JGiola/swift,ahoppen/swift,ahoppen/swift,ahoppen/swift,apple/swift,rudkx/swift,roambotics/swift,atrick/swift,ahoppen/swift,benlangmuir/swift,atrick/swift,apple/swift,JGiola/swift,benlangmuir/swift,rudkx/swift,rudkx/swift,gregomni/swift,atrick/swift,glessard/swift,rudkx/swift,gregomni/swift,atrick/swift,benlangmuir/swift,glessard/swift,atrick/swift,roambotics/swift,rudkx/swift,gregomni/swift,gregomni/swift,apple/swift,ahoppen/swift,glessard/swift,gregomni/swift,benlangmuir/swift,rudkx/swift,roambotics/swift,glessard/swift,JGiola/swift,benlangmuir/swift,ahoppen/swift,roambotics/swift,JGiola/swift,atrick/swift,glessard/swift,apple/swift,apple/swift,apple/swift,gregomni/swift,benlangmuir/swift,JGiola/swift,glessard/swift,roambotics/swift,roambotics/swift,JGiola/swift