Like in the description, flow-php/types could really use two new logical types that are very common use case:

• type_positive_integer()
• type_non_empty_string()

I would love to also add type_non_null but PHPStan does not seem to have type negation other outside of phpstan-assert :|