Implement  binary subtraction.
Test composite expressions.
Start implementing local bindings.
Fix bug with new env.
Prototype let bindings.
Successful implementation of local variables and let bindings.
Test for multiple bindings.
Tests for nested bindings and variable shadowing.