Да, там какая-то концепция хранилищ - толком по первому чтению не разобрался.

Впечатление - декларатив для "композиции компонентов" действительно сильный, но в целом язык несбалансирован - его бы как "верхний уровень" взять для организации взаимодействия подсистем, а не для полного программирования.
+ такая особенность бросилась в глаза: в ОО-языках есть только объекты, которые хорошо годятся для абстрагирования проблемной области, но плохо - для архитектуры.
А тут есть только компоненты, заточенные под выстраивание архитектуры, а абстракции данных придется эмулировать через них... Т.е. тот же перекос, что и у ОО, только в обратную сторону, получился.
В отличие от Обероновской классики, где есть разделение компетенций между объектами и модулями.