v1: fix EBNF notation
v1: add draft.md