PEP 593 creates an easily extendable syntax to annotate type with further information and annotated-types provides a rather easy interface with its Predicate
So adding a line like
Handelsregisternummer = Annotated[str, Predicate(is_valid)]
to the modules seems to be an useful expansion of this packages capabilities