Update to work with Cryptol's new evalType functions
Update to work with Cryptol's new evalType functions

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