Adapt to changes to `singleSubst` from cryptol package.
Adapt to changes to `singleSubst` from cryptol package.

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