Updated README with EBNF and TODO