GammaMonads.v: test on monads to represent environments