Reusable constraint types to use with typing.Annotated

WWW: https://github.com/annotated-types/annotated-types
