Transform concrete grammar into abstract algebra

What's the first `Expression?` for?