Update README

Fix some typos, explain embedded syntaxes, remove BNF-thing.