Remove completely unnecessary call to `mkTypedTerm`.
Remove completely unnecessary call to `mkTypedTerm`.

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