swift234

Change ConstraintSystem::print to print the constraint system using
symbolic TypeVariables instead of _'s.  For example, before:

Score: 0 0 0 0 0 0 0 0 0 0 0 0
Type Variables:
  #0 = _
  #1 = _ equivalent to _
  #2 = _

Active Constraints:

Inactive Constraints:
  _ conv _ [[locator@0x1068ac798 [Call@t.swift:53:15]]];

after:

Score: 0 0 0 0 0 0 0 0 0 0 0 0
Type Variables:
  #0 = $T0
  #1 = $T1 equivalent to $T0
  #2 = $T2

Active Constraints:

Inactive Constraints:
  $T0 conv $T2 [[locator@0x107802198 [Call@t.swift:53:15]]];




Swift SVN r31102