An adaptation of the example on the Menhir repository. This demo illustrates how to build abstract syntax trees.