typed-strings
Callable branded and constrained string base classes with exact runtime subtype preservation.