and a few other things:

• not using (object)

• some more precise asserts

Component: refactoring

Author: Frédéric Chapoton

Branch/Commit: 188910c

Reviewer: Martin Rubey

Issue created by migration from https://trac.sagemath.org/ticket/34596