Add environments.  Step 1A: Start to push an EnvM monad through.
Add environments.  Step 1A: Start to push an EnvM monad through.

sjfloat/accelerate,robeverest/accelerate,rrnewton/accelerate,robeverest/accelerate