Transformed a parametrized module into an ordinary module where everything is parameterized by the module's parameters. Note that this reuses the names from the original parameterized module.