* Implement step 3, evaluating complex expressions
* Implement step 4, working with variables and environments