Изменения
→Целые числа
(Minus m) .+. (Minus n) = Minus (m +. n)
(Plus (Succ m)) .+. (Minus (Succ n)) = (Plus m) .+. (Minus n)
(Minus (Succ m)) .+. (Plus (Succ n)) = (Plus mn) .+. (Minus nm)
x .+. (Plus Zero) = x
x .+. (Minus Zero) = x
