Adapt to changes in saw-core for `Constant` terms.
Adapt to changes in saw-core for `Constant` terms.

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