Type Definition peano::P8

type P8 = Succ<P7>;

The Peano number +8; P8 = Succ<P7>;