Completed the unit tests, all features of the ocaml grammar should be covered