(Debugging) Strict rule-naming setting
The ability to use a strict setting so that the compiler will catch
unnamed rules (as for extensions which ought to name all of their rules
for the convenience of subsequent authors).
We accept this suggestion, though we think it should be something that can
be set per extension (like “authorial modesty”).