Remove unused binding.
Add simplification rule for rearrange.