Trait Natural
peano
pub trait Natural { fn to_usize() -> usize; }
fn to_usize() -> usize
impl Natural for Zero
impl<N: Natural> Natural for Succ<N>