Added Rational and Integral instances for Peano numbers.