swift234

Generalize the subtype matcher to allow strict type matching in
addition to subtype matching, so we centralize the "compare two types
structurally" code in one place. Use this matching via
TypeChecker::isSameType() to allow deduction when type equality is required.



Swift SVN r2324