Editorial suggestion: write out what the metavariables in _NativeError_ expand to, for searchability

[bakkot]

Because the various error objects share much of their structure, they are specified using what is essentially a macro, where we just specify "NativeError" and say that you should replace "NativeError" with the actual error type in question. This means you have e.g. a discussion of "NativeError Prototype Objects", but no mention of the SyntaxError Prototype Object.

To make it easier to search for things, we should consider writing out the concrete names we'd normally use for each of the objects specified in NativeError in the relevant section.