The <datum> production in 7.1.2 (page 50) has a clause that is <label> <datum>. Shouldn't that be<label> = <datum>
to provide the #0=... portion of reader labelling?
At the end of 7.1.2, there's a missing line break before the <label> production. It's ended up on the same line as the <vector> production, making it difficult to spot.