Comment
Copied simulator from Chapter 5.2
Partially copied simulator from Chapter 4.1
Chapter 5.4: Explicit-Control Evaluator
Added stack monitoring
Exercise 5.23
Exercise 5.24
Exercise 5.24

Test if 'cond' is a special form.