Equality constraint terms lower and upper can differ

[michaelbynum]

EqualityTerms are constructed with an upper of 0, which means that the upper and lower attributes can differ. I think that could lead to problems/confusion. Maybe lower and upper should be private, and we can add methods to get the bounds/rhs?