Some ideas for bool.

Things to do:
- Compiler for variables
- Compiler for environments
- Make monad for fresh variables