Fix some grammar errors. Add EBNF and 'make testes'.