Zunifikowany system typów dla trwałych i ulotnych danych. (K.S. Niestety, w przypadku ODL i C++ pełna unifikacja jest niemożliwa, np. ze względu na kolekcje i związki.)

Wiązanie do specyficznego języka programowania uwzględnia jego składnię i semantykę. (K.S. Bzdurna tautologia, w języku programowania nie da się zapisać nic, co wykracza poza jego składnię i semantykę.)

Specjalne klasy, których wystąpienia mogą być zarówno trwałe jak i ulotne.

Koncepcja “sprytnych wskaźników”(smart pointers) , które można deklarować dla każdej takiej klasy: dla klasy/typu T, typ sprytnego wskaźnika jest d_Ref

d_Ref<Profesor> profWsk; 
d_Ref<Wydział> wydzRef; 
... 
profWsk -> promuje("Maciej Kret"); 
wydzRef = profWsk ->pracuje_na;

ANIMACJA: