Starting on left recursion.

I have a few forms already. Do these suffice? Is <Literal> the only
terminal, or should I use others?
Exps all compile successfully.

Defining all expressions lets things compile. The trick provided by
Kris: instead of treating Operation as a non-terminal form of
Expression, bring ALL valid Operation forms into Expression. This avoids
indirect recursion!!