Is your feature request related to a problem? Please describe.
It should be possible to model numeric types with bounds.

Describe the solution you'd like

• Option 1: Special types that describe types with bounds
• Option 2: Use the constraint system to add bounds. Compare values of (constant) parameters when a callable is called.