Introduce Module class as precursor to VectorSpace
Introduce Module class as precursor to VectorSpace [2]