In type-directed search, handle an additional possible case when processing unification results.
Merge remote-tracking branch 'upstream/master' into typeSearch
Improve appearance of type search results.

Additionally, I refactored some of the Output code to eliminate some
code repetition.
Add Help/autocomplete information for :search
Forgot a comma in adding a help entry for :search
Merge pull request #1271 from bmsherman/typeSearch

Fix error and improve appearance of results in type-directed search