Pre-RFC: trait class for single inheritance

[Jules-Bertholet]

@Jules-Bertholet

(With the current orphan rules, this would require Mammal and Animal to be defined in the same crate, but it should be possible to relax that somewhat.)

Made a separate topic for this: Slight relaxation of the orphan rules