fix definition of multiplication function in chapter 10

mul a = foldNat one (add a) adds redundant 1 to the result,
e.g. with overloaded numbers, mul 2 3 = add 2 (add 2 (add 2 1)),
but should be add 2 (add 2 (add 2 0)).