move scLookupDef and scDefTerm out of SharedContext record.
move scLookupDef and scDefTerm out of SharedContext record.

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