Correct EBNF grammar in the manual

The grammar for use declarations was outdated.