Exercise 3.9 on factorial evaluation and the assoc'd environments