swift234

start refactoring to allow bottom-up type inference with re-sema.  Still much to be done.

Swift SVN r122