Extraction to ocaml. Use by running make ocaml