Initial work on a formal EBNF grammar using CoCo/R