REPL puts VTerm result values into the shared-term environment
REPL puts VTerm result values into the shared-term environment

This avoids the "Untranslatable" errors that used to come up after
trying to use an extracted predicate with a proof command.

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