Improve display of types and docs in various places
Improve display of types and docs in various places

Some of this should be done on the F* side, though.

FStarLang/fstar-mode.el,FStarLang/fstar-mode.el,FStarLang/fstar-mode.el