Не должно быть TData, не должно быть никаких универсальных типов, только строгая типизация линков, я уже писал, что среда должна отслеживать тип линка и предлагать вставить в разрыв конвертор. Но и должна быть возможность изменить тип точки, предположим, для такого варианта -- у нас одна переменная типа String используется пятью точками типа Integer и одной типа String, среда расставила конверторов для типа Integer, можно, в таком случае, изменить тип этой точки на Integer, тогда среда должна автоматически убрать конверторы с типа Integer и поставить конвертор на тип String. Таким образом, получится оптимизация схемы. Как тип такой точки будет меняться в модуле, тут подумать надо. Для глобального проектного модуля типы значения не должны иметь, для готового мы такое сделать не сможем, это все должно отслеживаться средой