Updated bnf; corrections concern syntax preciseness.