emacs: made the behaviour of show-type more intuitive
emacs: reverse the order of errors.
emacs: improved management of error overlays
emacs: fixed edition inside the lock zone.
emacs: improvements on show-type.
emacs: type-enclosing handling.
emacs: cleaned up mode's exit and do not start on non-ml files.