Remove var from language
Add Backus–Naur Form grammar