described language in ebnf notation
added TODOs