Interpreter: Make 'InterpretEnv' a full-blown datatype
Interpreter: Make 'InterpretEnv' a full-blown datatype

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