Dataclasses and non-dataclasses inheritance

[oscarbenjamin]

There were lengthy discussions related to this in True constructors.