Standard module functor.
Added natural transformation from id to standard module.
Added a tool method to encapsule SimplerEquivalentMatrix
Added LessGenerators functor.
Data type changes

Products -> List