To go from vector spaces to modules, "all" that we did was to discard an axiom about how the scalars behave -- we abandoned the divisibility assumption, so that we are left with a ring rather than a field of scalars. But that leads to the unraveling of a lot of higher level structures, including, I believe, the "physicist's intuition" for what a tensor is, as multilinear machines with array-based coordinate representations.