If R is a ring handled by the engine, and M is a free module over R, then M is a subclass of Vector.
See also Module.