following the Essentials of Compilation book in OCaml - View it on GitHub