Normal order evaluator based on lazy evaluator

Modify the evaluator so that it uses normal-order evaluation, based on the lazy evaluator of section 4.2.

---

This exercise has no tests. Any solution is a right answer.

Run