Reorder the feature testing macros by section number, and explain __has_include().
Extract the definitions of the invocation traits into separate paragraphs.

This lets us use bullets, etc. to structure the explanation, which is easier to
read than stuffing the whole thing into a single table cell.