An EBNF-like DSL that generates Irony