I agree its super complex, these bounds wouldn't be limited to integer based variables. I would also argue there are very narrow instances where you would want

I agree its super complex, these bounds wouldn't be limited to integer based variables. I would also argue there are very narrow instances where you would want to bound a variable and also do arithmetic on it. The language should make the bounding optional and unbounded possible.