Object Data Instance Notation (ODIN) - Eiffel libraries