Python implementation of TypeIDs: type-safe, K-sortable, and globally unique identifiers inspired by Stripe IDs