swift234

Be more consistent about when we can find types and type witnesses.

Not much of a change here, but this should reduce excessive recursive
type checking during the binding of extensions.

Swift SVN r29150