Module only requires Rng.

This removes the requirement that Module's scalar lies in a Ring.
Instead, it now only requires a Rng. This makes the use of nested
instances of infinite vectors (like Map's Rng) possible.