Renamed Torsor module, since it really defines instances of the classes from vector-space. Added further such instances.