locate: add some logging
Sync to end of buffer to fix parse problem
fix compilation problem for 400 and 401
Std: add (@@) operator (not available in 4.00)
vim bugfix: autoclose type history
Simplify incremental parsing interface

Functional proof of concept, more code can be dropped
Remove dead code from merlin_parser
Simplify type checker
Merlin_typer: with_typer no longer capture errors

Use protect_typer to capture errors. This fix a regression introduced
during typer simplification.
Command: uniformize use of (@@)

When it decreases indentation :P
vim: use buffer encoding to interpret content
Type_utils: make type expansion recursive
Typing_aux: add uncatch_errors to reenable type errors locally
Type_utils: detect type errors and fallback to other cases