Strict typed string base class with exact runtime subtype preservation and optional Pydantic v2 support.
