users-guide: Fix BNF grammar of instance declarations
The grammar given:
- omitted the possibility of type constructor applications serving as an argument to an infix class application
- omitted the possibility of type abstraction matches
- incorrectly identified the
arg_type
rule
Fixes #24022.