Universal toplevel for OCaml