Make ExtPowerFreeModule a quotient of TensorFreeModule

[mkoeppe]

(split out from #30169)

We give ExtPowerFreeModule the additional structure of a quotient module of TensorFreeModule.

For degrees 0 and 1 (for which this class is not instantiated by FiniteRankFreeModule.exterior_power), taking the quotient is trivial but we still set it up as a quotient for didactical/uniformity/formal reasons.

[git]

Branch pushed to git repo; I updated commit sha1. New commits:

​0869a10	ExtPowerFreeModule, ExtPowerDualFreeModule._repr_: Simplify by using the ordinal_str method
​344a793	ExtPowerFreeModule, ExtPowerDualFreeModule.__init__: Remove duplicate registration of self in the base module, uniqueness check
​12e7da1	ExtPowerDualFreeModule: Document the 0th power
​44d6c93	ExtPowerFreeModule: Make a quotient of a tensor module even for degree < 2

[git]

Branch pushed to git repo; I updated commit sha1. New commits:

​a59eb9c	TensorFreeModule: Compute the correct category for type (0, 0)
​8339de4	TensorFreeModule.__init__: Remove duplicate registration of self in the base module, uniqueness check

[git]

Branch pushed to git repo; I updated commit sha1. New commits:

​14171b9	FreeModuleBasis.__init__: Update all modules in the set fmodule._all_modules
​8734151	FiniteRankFreeModule: Move all module identifications to methods exterior_power, dual_exterior_power, tensor_module

[egourgoulhon]

Shouldn't #30251 be a dependency of this ticket?

[mkoeppe]

Yes, I will rebase this branch on top of it.

[mkoeppe]

Setting new milestone based on a cursory review of ticket status, priority, and last modification date.