* little-mler/numbers-by-peano-second-version.sig: add a second
version of the functor NumberAsInt in order provide a second
alternative for using IntArith.plus. Write the corresponding test
case.

* little-mler/similar.sig (similar): add the signature to check
similarity among NUMBERS_BY_PEANO values.