Turn RenameMap into a trait and add MutableRenameMap

The mutability of the RenameMap API has long been a wart. It also has
made it impossible to provide alternative implementations that do not
have a underlying map. By changing RenameMap to a [sealed] trait, it
will become possible to provide optimized implementations for different
purposes.