swift234

Prefer to solve the first disjunction with the smallest # of terms.

This simply mirrors the heuristic we were using for overload
sets. We'll want to do better eventually.


Swift SVN r9212