Change rebinder to remove dead (unused) bindings.

This is useful because the rebinder often creates new, speculative
bindings on its own accord, and they can create trouble if left
around.

The dead code removal in the enabling-optimisations module is still
around, although we should probably remove it eventually.