whoops, fixed bug: we were accidentally processing all decls after a datatype decl in the context of the params of that datatype
whoops, fixed bug: we were accidentally processing all decls after a datatype decl in the context of the params of that datatype

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