Writing the examples from chapter 3 in the verbatim abstract syntax