move some SharedContext operations into SharedTerm.hs
move some SharedContext operations into SharedTerm.hs

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