add ability to propagate the set of bounds when solving boolean constraints
add ability to propagate the set of bounds when solving boolean constraints

darcs-hash:663ed84ec9a7ae046bd4d89ac29aa294d4c88b7a

dpwright/jhc,dpwright/jhc,dpwright/jhc,dpwright/jhc