Current status: I'm working through my plan to deal with retracted user constraints. In the process, though, I noticed some bugs in the existing code; in particular, some of the code to find promotions in steps is wrong. So it'll be a little while longer before everything is in good shape. Daniel