add annotations ebnf grammar + generated spec [skip ci]