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.

Nobody's finished this exercise yet. You'll be the first!

---