Depends on #32989
Depends on #32999
Depends on #33007
CC: @fchapoton @tobiasdiez @dcoudert
Component: refactoring
Author: Matthias Koeppe
Branch/Commit: 1dbef4d
Reviewer: David Coudert
Issue created by migration from https://trac.sagemath.org/ticket/33199