Add a `Module` class

[Airini]

In accordance to the actual definition of a module vs a vector space in mathematics (given the current Ring constraint on the associated type family Scalar of the class VectorSpace, which should be Field instead for the latter class).