First stage of constraints refactoring: bounds environment