A Python object p is of type peano if,

1. it is None, or,
2. it is a 1-tuple whose sole member is of peano type.