Provide `derive` macros for `Resolve`

[xldenis]

These traits are going to end up being quite pervasive in Creusot developments but most instances will be incredibly boring, we should provide derive macros to handle those cases: sums, and products.

[xldenis]

Really, we only need this for Resolve and I actually think that even for that we might be able to instead use a default instance on Resolve!