rename io-circe case class field from JSON, but does not match extended trait

Question

I have the following minimal example to illustrate my conundrum, which is that I am using the IO-Circe JSON library and have a Trait that has one property and a bunch of Cas