Derive macros should error if field attributes are used, but not supported

[ModProg]

E.g., derive(Collection) does not error when someone (def not me) adds collection(key) to a field.