improve exmpls
remove Peano Numbers
partial merge frmo rmPeano
Merge branch 'rmPeano'