Структурно спрямо номинално типизиране: Глобално сравнение на съвместимостта на типовете | MLOG | MLOG