In :search, check injectivity to prevent erroneous results
Discover typeclass introduction/elimination in :search
Find best matching types first in :search with a priority queue.
Ignore believe_me in :search since its type is a lie!
Merge pull request #1341 from bmsherman/improvedSearch

Improve :search results by checking injectivity and allowing typeclass introduction