Improvements to exporting as OCaml code, in progress. Verify OCaml code by invoking `ocamlc -c`. Rename `Bool` to `Boolean` and `Int` to `Integer`, avoiding conflicts with existing code.