Improvments to both the EBNF and readme files.