moved syntax into its own file, EBNF.md