* little-mler/J-new-plus.sig (NewPlusOverJ): Add a new signature
for the new functor in order to abstract deeply for the plus
operation.

* little-mler/times-over-numbers.sig: add the signature for doing
``times'' arithmetic.