d(Z) -> Z
d(S(x)) -> S(S(d(x)))

exp(Z) -> S(Z)
exp(S(x)) -> d(exp(x))

[Z] = 1
[S](x) = x+1
[d](x) = 2*x
[exp](x) = x
