tooltip formatting

* Fix formatting bug where type tooltips would have the type name duplicated. 

* Do not module-qualify val bindings - I usually use the minibuffer to check types, so the fully-qualified symbol is just noise.