revising the monad in Semantics.fst and cleaning up a bit ... stuff goes faster
revising the monad in Semantics.fst and cleaning up a bit ... stuff goes faster

project-everest/vale,project-everest/vale,project-everest/vale,project-everest/vale