swift234

Solution application: start typing function applications directly.

This zaps all of the "TypeChecker::recheckTypes()" calls during
solution application, as well as all but one of the
"TypeChecker::semaApplyExpr()" calls. The last call standing copes
with value type constructors.



Swift SVN r4672