Simplified `Codec` type synonym

This implements it in terms of `Lens'` to make it more clear what is going on