Universal toplevel (i.e. REPL) for OCaml
