swift234

Turn on the constraint-based type checker for most of the executable
tests. The few that remain either have problems (repl.swift,
printf.swift) or just plain take too long.


Swift SVN r2953