Corrected EBNF grammar in the manual

The grammar for use declarations was outdated. Corrected some other mistakes.