Autocomplete and types definitions

[ptmt]

• Autocomplete (js_of_ocaml build can't do that at the time)
• Type signatures