Finished BNF transcription

Todo: Tokens