Simple type arithmetic with Peano numbers.

Simple type arithmetic with Peano numbers, using a recursive type and pattern matching over it.