Working on the OCaml grammar