Typeclass for types with a scalar multiplication operation, denoted • (\bu)

Typeclass for multiplictive actions by monoids. This generalizes group actions.

Typeclass for multiplicative actions on additive structures. This generalizes group modules.