add(Z,y) -> y
add(S(x),y) -> S(add(x,y))

mult(Z,y) -> Z
mult(S(x),y) -> add(y,mult(x,y))

[Z]=1
[S](x)=x+1
[add](x,y)=x+y
[mult](x,y)=x+y


