Improve examples in syntax::ext::deriving::encodable

The examples in the syntax::ext::deriving::encodable module are
outdated. To handle this, the following changes are applied: