Derived expressions handling

Extend the evaluator to handle derived expressions such as cond, let, and so on (section 4.1.2). You may ''cheat'' and assume that the syntax transformers such as cond->if are available as machine operations.