Apply to the Library Fundamentals TS Working Paper the Proposed Wording from N3866, "Invocation type traits (Rev. 2)", but dropping function_call_operator.

This paper took a lot of rewording to fit it into the TS without needing to
modify the paragraphs that define INVOKE in the standard.
Update the table of headers and the standalone html file.