doc/refintro.tex: Split the syntax notation into subsections.