Refactor :search to remove code duplication and name shadowing
Try symmetry of equality in :search
Fix logical error in :search's unification resolution
Merge pull request #1507 from bmsherman/improveSearch

Symmetry of equality (and small fix) for :search