Added extended Backus-Naur form for the language
Fixed BNF