Fixes for OCaml 4.01, as well as some Toplevel usability issues.