fixed OCaml definition of Some/None