plus(x,z()) -> x
plus(x,s(y)) -> s(plus(x,y))