Graded module, where the grading has the structure of a monoid, in which ring multiplication respects the grading