OCamL prompt → OCaml toplevel
Better use a coherent name everywhere (there may be other places where the change needs to be made).