[ConstraintSystem] Implement simplication of `{Function, Generic, Synthesized}Argument` elements
[ConstraintSystem] Implement simplication of `{Function, Generic, Synthesized}Argument` elements

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