Try to describe the syntax with the grako version of EBNF.
Modified the grako related information.