Move elton.ebnf to other repo