emacs: refactored the display of types.
emacs: C-c d now tries harder to find an atomic type.