pulling in latest changes to the SAW core typechecker
pulling in latest changes to the SAW core typechecker

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script