Type_utils: print big signatures only in verbose mode
Emacs: asynchronous display of type enclosing