Refactoring the Specware environment monad, adding monadic imperative state and changes to allow user to change the base spec.
Refactoring the Specware environment monad, adding monadic imperative state
and changes to allow user to change the base spec.


git-svn-id: 9ecf60ce9baff443e30a0472d3fd222fcb8117cf@1060 7b97033b-253e-4a5c-9b07-e25f9089a9fd

KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware