emacs: disable merlin-mode on type buffer
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