Update etc/formal-grammer.bnf