Give better error message when user types non-monadic expression at REPL
Give better error message when user types non-monadic expression at REPL

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