Fixed some typos
New paper N4313 = N4123 + SG1 comments + LEWG comments, showing diffs comared to N4107
(This paper is intended for LWG review in Cologne)