Add variable expressions
Add type `Env` for environment
Add environment as parameter to `run` and `reduce`