import peano.trs

A0x    → x
A(Sx)y → S(Axy)