Add support for various constrained numeric types into the SDK

[stephengoldbaum]

When modeling, we often run across constraints beyond what Int, Float, and Number provide. These are generally:

• Natural
• Whole
• Positive
• Negative
• Non-zero