Update lang_spec_ebnf.md