[Typo] Replace PR#514-525 with one large PR

[practicalswift]

As requested in #526.

[practicalswift]

@gottesmm The code is verified passing utils/build-script -RT and the changes suggested above have been made. Please let me know if any further adjustments are needed :-)

[gottesmm]

@benlangmuir I just looked at the first commit.

[gottesmm]

(i.e. the rest of the commits need to be looked at).

[practicalswift]

Squashed into a single commit.

[benlangmuir]

@gottesmm I looked at the rest of the changes, which LGTM. My question was about a specific change that you requested (in #501):

This should probably also have its grammar fixed. I would suggest:

// We work around the canonicalization of PolymorphicFunctionType
// by generating a GenericSignature and transforming the input, output
// types.

Do we really want to drop the "FIXME" in this comment?

[gottesmm]

That was not my intention. I just meant the text after the FIXME.

[benlangmuir]

@practicalswift could you add the FIXME back here (per @gottesmm's clarification), and then re-squash?

[practicalswift]

@benlangmuir Re-added FIXME as per @gottesmm's request and re-squashed. Please let me know if any further changes are needed :-)