Cleaned up constraints.jl to reduce number of branches in constructor
and first convert all inequality constraints to the form x <= y where
constants can only be in the rhs.