Fixed scope computation with malformed parens
Displaying abstract types explicitely
Handling multiple locations for a single ident
From emacs, repeating C-c C-; will iterate.