Translate Constant term bodies in a top-level name scope.
Translate Constant term bodies in a top-level name scope.

Fixes #18.

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