EBNF of Moon language v1.