Type signature SemBound

A bound that the range analysis can infer for a variable. This includes constant bounds represented by the abstract value zero, SSA bounds for when a variable is bounded by the value of a different variable, and possibly other abstract values that may be useful variable bounds. Since all bounds are combined with an integer delta there’s no need to represent constant bounds other than zero.