Comment 2 for bug 1229340

This branch https://github.com/pkhuong/sbcl/tree/pluggable-constraints adds two new classes of optimizers to hook into constraint propagation, and uses them to implement the simpler proposal above. Unless there's something wrong, I'll commit after the freeze.