swift234

Substantially refactor tuple type inference so that the code works for both the bottom-up and the top-down cases.  Also make it rewrite tuple exprs in place where it can (which is required by the new code).

Swift SVN r188