Metacircular evaluator with syntax analyze procedure, exercise 4.21