YES

2 decompositions
 #0 -----------
   1: +(x,0()) -> x
   2: +(x,s(y)) -> s(+(x,y))

 #1 -----------
   3: -(0(),x) -> 0()
   4: -(x,0()) -> x
   5: -(s(x),s(y)) -> -(x,y)

@Mutually Orthogonal
--- R
   1: +(x,0()) -> x
   2: +(x,s(y)) -> s(+(x,y))

--- S
   1: +(x,0()) -> x
   2: +(x,s(y)) -> s(+(x,y))


@Strongly Commuting
--- R
   3: -(0(),x) -> 0()
   4: -(x,0()) -> x
   5: -(s(x),s(y)) -> -(x,y)

--- S
   3: -(0(),x) -> 0()
   4: -(x,0()) -> x
   5: -(s(x),s(y)) -> -(x,y)