"нормальный" синтаксис для чего-то типа sql придуман четверть века как - у какого-то корейца - три типа коллекций - set (неупорядоченное без дублей), mutliset (с дублями) и bags - с дублями и упорядоченностью.

Элементы - ну обычные довольно по функциональщие записи с именованными полями и "алгебраические" типы (union-ы с именованными вариантами) ну и естественно любые элементы сами по себе могут быть коллекциями и проч.

Все хитрые "запросы" тривиально пишутся в хаскелльного стиля сверточном синтаксисе.

При этом у модели есть прямая проектция в sql, хотя автор развивал и свою: поскольку информации о том "что надо" тут гораздо больше можно этим попытаться воспользоваться для оптимизации.

На деле оказалось просто мало кому интересно - все рисуют на sql и довольны как питоны :)