swift234

Implement equality testing (ignoring sugar) for types.
Implement simple context sensitive type inference for overload sets.

Swift SVN r352