Generalize some results in monalg to nmodType and semiRingType

[pi8027]

Some further generalizations require us to generalize some module and morphism structures on the MathComp side, namely, math-comp/math-comp#1125.

CC: @hivert @amahboubi

[pi8027]

I think that instances on the evaluation function (mmap) can be generalized further (to impose the commutativity constraint only on coefficients), but it's almost done. We still need to wait for the release of MC 2.4.

[pi8027]

Done. Perhaps the generalization of mmap needs more discussion and should be a separate PR.

[pi8027]

Perhaps the generalization of mmap needs more discussion and should be a separate PR.

See #108