(interval ub) (interval lb ub)
Construct an interval for an assignment to a var. intervals may be more efficient that the domain type when the range of possiblities is large.