Added addition and subtraction to Peano.