gh-37766: modules with basis/map coefficients
This is a replacement for #37271, without dependency on the construction
functor for symmetric functions.
Fixes #18264
URL: https://github.com/sagemath/sage/pull/37766
Reported by: Martin Rubey
Reviewer(s): Martin Rubey, Matthias Köppe, Travis Scrimshaw