When the type hierarchy paradigm fails

Not using pure extension but decoration.


This means:

Type TDolphin extends TAnimal
field mammal:TMammal
field underwater:TUnderwaterAnimal

...