(SIG
   (-   o -> o)
   (+   o o -> o)
   (x   -> o)
   (0   -> o)
)
(RULES
   -(+(x,-(x))) -> 0
   +(x,-(x)) -> 0
   0 -> -(0)
)