Use ConfinedAttr to verify attr range is positve or nonnegative

[ghpvnist]

I recently came across confining attributes, and it's a nice feature that we should leverage to maximize ODS strengths.

I'm still looking into whether we can use them for array attributes. If possible, we may be able to remove tons of manual verification.