Temporary fix to incomplete pattern match errors.  Ultimately, we should fix this correctly to plumb abstract types through SAWCore.
Temporary fix to incomplete pattern match errors.  Ultimately, we should
fix this correctly to plumb abstract types through SAWCore.

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