rename and export more SharedContext operations from SharedTerm.hs
rename and export more SharedContext operations from SharedTerm.hs

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