add aliases
add ocaml toplevel support