More EBNF and README.md revisions