This is so that we can apply the category system to other numerical towers.
This can be tested with #29874, #29875.
Depends on #29873
CC: @tscrim @videlec
Component: refactoring
Keywords: sd111
Issue created by migration from https://trac.sagemath.org/ticket/29877