Support types like `pydantic.types.PositiveInt`

[yangdanny97]

Describe the Bug

https://docs.pydantic.dev/2.3/api/types/#pydantic.types.PositiveInt

There's no dependent types in Python, so I'm not sure how to avoid promoting it to int whenever we try to do something w/ it

Sandbox Link

No response

(Only applicable for extension issues) IDE Information

No response

[rchen152]

Reopening since this isn't fully supported yet; the PR added support for checking gt, lt, etc. constraints against a field's default