Keep upper and lower bounds together.

This should make it easier to extract models
Clean-up manipulation of lower and upper bounds
Update bounds DB, when inserting a new constraint.