Broke dependency from Configuration to ConstraintBuilder, so the latter can move to the check package
Moved almost all the constraints magic into the check package
renamed SliceConstraintBuilder into ConstraintBuilder
minor refactoring in the constraints