Figure out what to do about environments

[mlfbrown]

Right now there's just one environment.
Clearly that will not fly forever.
Figure out a better design.

[mlfbrown]

The fix for now:

• There's an environment
• Additionally, all abstract's have their own environment that the user may interact with and change
• Nothing else gives access to any environment other than the underlying monad's env