Reification of option types.
OCamlrun command to run an OCaml function on Coq argument.