OCaml code for "Modern Compiler Implementation in ML"