ToyML compiler written in OCaml