updated modules to work more clearly as namespaces
updated modules to work more clearly as namespaces

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