Report errors for attempting to derive decoding of records with optional field types

[ayazhafiz]

Since optional record fields like y ? Str are polymorphic at compile-time and have no runtime representation, we can't derive decoders for them, because you can't ever produce a value with an optional record field!