Constraining with a float/int does not allow units

[codykarcher]

ex:

x <= 1.0

should flag an error if x is in units of meters for example. Alternatively, could implicitly assume the bound is in the declared units, though I dislike this.