+Hook ... +Hook2

+Hook - префиксный класс для +relation, обычно +Link или +Joint. По сути, это поддерживает локальную базу данных в указанном объекте.

+Hook2 - префиксный класс для +index. Он поддерживает как обычный (глобальный) индекс, так и локальный индекс объекта в соответствующем объекте +Hook.

https://picolisp.tiddlyhost.com/#%2BHook

Цитата: “Демоны отношений являются своего рода метаданными , управляющими взаимодействиями между сущностями и поддерживающими целостность базы данных. Как и другие классы, классы отношений могут быть расширены и уточнены, и в сочетании с надлежащими префиксными классами может быть создано детальное описание структуры приложения. Помимо примитивных классов отношений, таких как +Number, +String или +Date, существуют

• отношения между сущностями, такие как +Link (однонаправленная связь), +Joint (двунаправленная связь) или «+Hook» (объектно-локальные деревья индексов)

• отношения, объединяющие другие отношения в единое целое (+Bag)

• префиксный класс +List

• класс +Blob для «больших двоичных объектов»

• префиксные классы, которые поддерживают деревья индексов, например +Key (уникальный индекс), +Ref (неуникальный индекс) или +Idx (полный текстовый индекс)

• префиксные классы, которые в свою очередь изменяют поведение индексного класса, например, +Sn (модифицированный алгоритм Soundex для толерантного поиска, см. Дональд Э. Кнут: «Искусство компьютерного программирования», т. 3, Эддисон-Уэсли, 1973, стр. 392).

• префиксный класс +Need для проверки существования

• префиксный класс +Dep, управляющий зависимостями между другими отношениями“

https://picolisp.com/wiki/?tutdb

P.S. Вот вам и типа “мало типов” … и, естественно, напрашивается сама собой тема классов отдельно от темы ООП, не только в этом контексте, но и, например, с точки зрения “префиксов“ или коллекций для методов, в частности, для индексации.