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.

---