Every commutative monoid has is acted on by the natural numbers semiring making it what ought to be called a semi-linear space
import public Frexlet.Monoid.Commutative.NatSemiLinear.Sum
import public Frexlet.Monoid.Commutative.NatSemiLinear.Mult
import public Frexlet.Monoid.Commutative.NatSemiLinear.Dirac