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

The Cryptol type inferred by `mkTypedTerm` was immediately ignored,
so there was never any point in calling it in the first place.

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