Refactoring and cleanup:
* Eliminated weird rewrite constructors; rewrite functionality has been moved
  to CopyReducer.
* Changed name() methods to eliminate ambiguity.
* Eliminated remaining clang dependencies.