implement tag renames This uses a separate map, since the purpose is very different from the purpose of the TagMap that we currently have. It seemed to me that unifying both will only serve to make the implementation more complicated. The name TagRenames is not that elegant, but I didn't have any better idea. Feel free to change.