Serialize and deserialize derivation should mandate child types to implement serialize/deserialize

[sirasistant]

Currently we try to bruteforce serialize and deserialize derivation for any children type. This is problematic with generics inside the data type, so we can move to an implementation more similar to Eq where it requires that eq is implemented (derive or not) at every type.
cc @Thunkar