Regarding your comments about investing time for the REPL mode. I have never been convinced by the experience provided by current modes (see this message for some reasons) I think that if you want nice REPL driven development with OCaml what you want is a proof general like experience which @Gopiandcode explored here.
Thanks for putting it on melpa this greatly increases the chances that I give it a try on a procrastination day :–)