Remove duplicate CryptolEnv field in REPL monad state type
Remove duplicate CryptolEnv field in REPL monad state type

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