Returning an object with additional fields

[Kakadu]

@vlaviron

If we changed the way we handle objects in the compiler, a lot more could be done, but it’s a huge amount of work, and there is very little interest both in the core developers group and in the general community for this.

@vlaviron Is there any written down notes how objects could be improved?
I always thought that objects in OCaml are cursed to be slow, because devirtualization requires either whole-program or optimization or C++ -like CRTP patterns.