Цмокi у галаве
Тип данных с атрибутом "имя", параметризуемый ссылкой на пространство имен. Используется для того, чтобы от него наследовать(или mixin?) типы, которые после такого наследования получают атрибут "имя", невозможность создать экземпляр с именем которое уже существует и функцию "найти экземпляр по имени".
no subject
А вот невозможность создать объект с таким же именем - ересь. Надо 1) учитывать область видимости, 2) дать возможность перекрыть имя в локальной области. Переизобетаем компилятор :)
Компилируемых языков всегда не хватает, да.