swift234

Introduce conjunction constraints into the type checker.

Not used for anything yet; these will be used for disjunctions that
require more than one constraint in a given term.


Swift SVN r9172