Support sum types in ppx_deriving_snarky

[L-as]

Trivial for finite types since we can use the same field variable in different ways.

For infinite types we need something like what Eden VM does.