[Constraint solver] Fix up CSDiag.cpp to use the type map.
[Constraint solver] Fix up CSDiag.cpp to use the type map.

Update CSDiag.cpp to use the constraint system's type map instead of
directly reading types from expressions.

As with past commits, the type map is not really enabled yet since we
still write types directly into expressions in the constraint solver.

calebd/swift,alblue/swift,airspeedswift/swift,xedin/swift,brentdax/swift,swiftix/swift,return/swift,aschwaighofer/swift,OscarSwanros/swift,jopamer/swift,glessard/swift,return/swift,calebd/swift,nathawes/swift,huonw/swift,hooman/swift,hooman/swift,calebd/swift,amraboelela/swift,jmgc/swift,brentdax/swift,hughbe/swift,benlangmuir/swift,shahmishal/swift,parkera/swift,karwa/swift,shajrawi/swift,danielmartin/swift,brentdax/swift,CodaFi/swift,roambotics/swift,JGiola/swift,airspeedswift/swift,allevato/swift,xwu/swift,rudkx/swift,CodaFi/swift,aschwaighofer/swift,aschwaighofer/swift,aschwaighofer/swift,sschiau/swift,amraboelela/swift,austinzheng/swift,danielmartin/swift,xedin/swift,xwu/swift,harlanhaskins/swift,huonw/swift,CodaFi/swift,zisko/swift,devincoughlin/swift,milseman/swift,shajrawi/swift,airspeedswift/swift,JGiola/swift,stephentyrone/swift,shahmishal/swift,karwa/swift,gregomni/swift,natecook1000/swift,apple/swift,parkera/swift,jckarter/swift,roambotics/swift,stephentyrone/swift,alblue/swift,jopamer/swift,jopamer/swift,deyton/swift,deyton/swift,apple/swift,tjw/swift,austinzheng/swift,shahmishal/swift,calebd/swift,harlanhaskins/swift,ahoppen/swift,felix91gr/swift,ahoppen/swift,huonw/swift,gregomni/swift,djwbrown/swift,nathawes/swift,sschiau/swift,stephentyrone/swift,airspeedswift/swift,jckarter/swift,JGiola/swift,shahmishal/swift,karwa/swift,frootloops/swift,shajrawi/swift,apple/swift,austinzheng/swift,OscarSwanros/swift,milseman/swift,gregomni/swift,swiftix/swift,devincoughlin/swift,benlangmuir/swift,milseman/swift,xedin/swift,benlangmuir/swift,atrick/swift,tkremenek/swift,devincoughlin/swift,airspeedswift/swift,shahmishal/swift,devincoughlin/swift,glessard/swift,deyton/swift,milseman/swift,danielmartin/swift,danielmartin/swift,CodaFi/swift,gribozavr/swift,zisko/swift,xedin/swift,gregomni/swift,allevato/swift,jmgc/swift,glessard/swift,natecook1000/swift,practicalswift/swift,milseman/swift,jckarter/swift,apple/swift,zisko/swift,atrick/swift,gribozavr/swift,xwu/swift,xedin/swift,jopamer/swift,practicalswift/swift,uasys/swift,alblue/swift,hooman/swift,deyton/swift,xwu/swift,hooman/swift,djwbrown/swift,uasys/swift,return/swift,karwa/swift,zisko/swift,zisko/swift,harlanhaskins/swift,shajrawi/swift,harlanhaskins/swift,amraboelela/swift,nathawes/swift,danielmartin/swift,stephentyrone/swift,CodaFi/swift,xwu/swift,atrick/swift,nathawes/swift,karwa/swift,xwu/swift,hooman/swift,xwu/swift,danielmartin/swift,hooman/swift,OscarSwanros/swift,djwbrown/swift,practicalswift/swift,practicalswift/swift,stephentyrone/swift,swiftix/swift,jckarter/swift,atrick/swift,gribozavr/swift,felix91gr/swift,devincoughlin/swift,parkera/swift,airspeedswift/swift,apple/swift,sschiau/swift,atrick/swift,return/swift,harlanhaskins/swift,felix91gr/swift,jckarter/swift,natecook1000/swift,shajrawi/swift,karwa/swift,amraboelela/swift,CodaFi/swift,gregomni/swift,natecook1000/swift,return/swift,calebd/swift,rudkx/swift,felix91gr/swift,ahoppen/swift,harlanhaskins/swift,airspeedswift/swift,glessard/swift,alblue/swift,parkera/swift,austinzheng/swift,brentdax/swift,jopamer/swift,roambotics/swift,sschiau/swift,austinzheng/swift,tkremenek/swift,tjw/swift,tkremenek/swift,tjw/swift,ahoppen/swift,hughbe/swift,uasys/swift,practicalswift/swift,shajrawi/swift,sschiau/swift,lorentey/swift,jckarter/swift,felix91gr/swift,djwbrown/swift,nathawes/swift,karwa/swift,shajrawi/swift,hughbe/swift,frootloops/swift,lorentey/swift,JGiola/swift,milseman/swift,shahmishal/swift,glessard/swift,danielmartin/swift,gribozavr/swift,brentdax/swift,calebd/swift,austinzheng/swift,hughbe/swift,huonw/swift,jckarter/swift,shahmishal/swift,roambotics/swift,alblue/swift,amraboelela/swift,allevato/swift,apple/swift,deyton/swift,JGiola/swift,djwbrown/swift,karwa/swift,alblue/swift,tkremenek/swift,hughbe/swift,xedin/swift,swiftix/swift,natecook1000/swift,roambotics/swift,atrick/swift,jopamer/swift,return/swift,lorentey/swift,nathawes/swift,rudkx/swift,jmgc/swift,aschwaighofer/swift,aschwaighofer/swift,tkremenek/swift,shajrawi/swift,frootloops/swift,swiftix/swift,jmgc/swift,shahmishal/swift,benlangmuir/swift,nathawes/swift,djwbrown/swift,frootloops/swift,uasys/swift,sschiau/swift,austinzheng/swift,allevato/swift,OscarSwanros/swift,ahoppen/swift,devincoughlin/swift,calebd/swift,lorentey/swift,deyton/swift,tjw/swift,brentdax/swift,practicalswift/swift,allevato/swift,hooman/swift,rudkx/swift,brentdax/swift,practicalswift/swift,felix91gr/swift,tkremenek/swift,hughbe/swift,rudkx/swift,jmgc/swift,stephentyrone/swift,frootloops/swift,sschiau/swift,parkera/swift,swiftix/swift,stephentyrone/swift,hughbe/swift,OscarSwanros/swift,gribozavr/swift,tjw/swift,rudkx/swift,zisko/swift,jmgc/swift,djwbrown/swift,ahoppen/swift,allevato/swift,frootloops/swift,amraboelela/swift,aschwaighofer/swift,swiftix/swift,tjw/swift,lorentey/swift,zisko/swift,felix91gr/swift,natecook1000/swift,roambotics/swift,parkera/swift,uasys/swift,gribozavr/swift,practicalswift/swift,devincoughlin/swift,glessard/swift,OscarSwanros/swift,alblue/swift,JGiola/swift,sschiau/swift,xedin/swift,gribozavr/swift,jopamer/swift,tjw/swift,milseman/swift,uasys/swift,parkera/swift,uasys/swift,deyton/swift,harlanhaskins/swift,natecook1000/swift,frootloops/swift,jmgc/swift,lorentey/swift,devincoughlin/swift,gregomni/swift,huonw/swift,return/swift,lorentey/swift,lorentey/swift,OscarSwanros/swift,amraboelela/swift,gribozavr/swift,huonw/swift,xedin/swift,CodaFi/swift,tkremenek/swift,allevato/swift,benlangmuir/swift,huonw/swift,benlangmuir/swift,parkera/swift