Defsystem grammar documentation improvements
The main change is using Texinfo macros to cross-reference rule definitions and uses. This allowed me to detect a few inconsistencies which I fixed. For the PDF version of the manual, there is no visible change while in the HTML version, rule uses appear as links.
A second change adds rules for options that seemed to be missing in the description. Please check whether the added rules are actually correct.