Transform concrete grammar into abstract algebra

Yes, a missing Expression would be an implicit `this`.