Без заголовка

Ну вот там тоже отмечено то о чем я говорю: Этот ИСО поддерживает сцылко на отношения, т.е. higher order Также поддерживает классы классов, тоже хайер ордер. И они говорят что нужны мета-модели для поддержки ФОЛ и Категорий Теорий (что вобщем-то можно считать ХОЛ). Т.е. как бы хочется без таких сложностей, а все-таки рано или поздно надо будет их задействовать.