Here, in each case, I would like to see, as comments, a template Oz code before the translation, and the resulting Oz code after the translation. This would help a lot in reading these translations: first the reader intuitively grabs at first sight what it does by looking at the input and output template. Then they "verify" mentally that the compiler code indeed does what is shown in the comments. (Instead of inferring what it's supposed to do from the code that does it.)