Fix reporting of type errors in embedded cryptol code
Fix reporting of type errors in embedded cryptol code

The 'interactive' function sets the module name to "<interactive>"
for the purpose of error messages.

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