[Agda] +-*- swap in library

[Sergei Meshveliani]

Dear Standard library developers,

I see in  lib-0.15

       Data.Nat.Properties.*-+-commutativeSemiring
and    Data.Integer.Properties.+-*-commutativeRing

I do not know, may be it has sense to have the same order of +-* in such
names (there are several occurrences).

Regards,

------
Sergei