Turn the Rebinder into a brand new thing - the Simplifier!

It also replaces the only CopyCtProp module.