Off the back of #18, #19, and #21, it may be useful to be able to rename the tags. This essentially would be combining these codecs with mapped nullary tags. Equivalent to Serde's rename attribute.