Test code 'Simple type arithmetic with Peano numbers.'