I can't find the "coruse" typo, so maybe I've fixed it already. I'm sure it'll be caught in copy-editing later.

Looking at my original Word document around the long tuple types, it looks like all the parts that should be in code *are* in code, and vice versa. Can you be clearer about the way in which it's odd, or would you just want it not to be in code font at all?

Finally, the "arity-8" vs "arity 8" issue is consistent, but it varies in terms of whether I'm using a specific arity as an adjective. For example: "A tuple with arity 8 is an arity-8 tuple." Again, this might be changed in copy-edit, but it's deliberate at the moment.

Likewise, all of "with arity 9" is in a normal font in the master document. It may be a quirk of the MEAP process, which isn't the same as the final production process - don't worry, it'll definitely be sorted.