про his я догадался.
но в этом же пакете еще и dll есть, как мне показалось


Спорное.
Есть элементы, не фиксирующие типа.
Теперь начнем им фиксировать.
Появится понятие "синтаксической" ошибки, типа: нет, так писать нельзя.
И появятся опять соообщения: "был HiAsm для всех, а теперь для продвинутых". И они уже будут иметь основания, в отличие от предыдущих.

Вопрос - зачем
Почти уверен (потому-что не видел), что это все, чтобы чего-то сделалось за один проход.
А без много-проходности много все равно и не сделаешь.
И получается, что это пляски с бубном.
Точно такие же, как при определении linked - зачем там было так морочиться (так и не решивши задачу до конца, между прочим), если многопроходность все равно делать. Просто получается, что это бессмысленная трата мозговых ресурсов.

Хорошо еще, если просто трата...

Меня больше настораживает, что мы окажемся с замороченным интерфейсом, и обратного пути не будет. Или он будет очень сложен.
Есть у элемента IndexToChanel св-во Data
Во-первых, это какой же тип мы должны назначать при Data=NUL
И пусть подключена верхняя точка и с нее всегда идет String.
Оппа, а пользователь зыбыл что Data = real(1.0). И что характерно - и не надо до этого ему было помнить.
Заморочка ведь.
Именно ее я называю пляской в бубном. Работает не так раньше и требует дополнительного напряга от пользователя.

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

---

Вообще, если присмотреться к использованию linked, то получится что это просто прогноз для block.Empty до создания этого блока. И зачем все это, если на втором проходе и так будет все ясно напрямую без прогнозов...

Очень не нравится мне, что получилось, что мы героически преодолеваем проблему, которую сами же себе и создали.
Даже скажу, что очень сильно огорчен

Создали в тот момент, когда сказали: ой, с многопроходностью есть проблемы, отложим это на потом.
И из-за этого "потом" все и проблемы
Понятно что мало ресурсов, но именно поэтому не следует самому себе создавать трудности.
Можно не беспокоиться, они и сами возникнут.

Думаю, что типизация точек - из этой же оперы.
Ну не встречались пока мне осмысленные (если не придумывать чего-то специально) примеры где без этого не обойтись.
Посмотрел бы.