Basic exercises using Peano numbers.