swift234

Recover a bit better in the constraint-based type checker when given
an erroneous expression.

Also, make sure we don't name the *LiteralType types directly; look
through one level of typealias to the underlying type, which is
actually what users want to see.


Swift SVN r2956