нужно сделать нормальное задание типов точек по индексу типа. Так же как у св-тв. Тогда можно будет определять тип выражения автомаматически по типу св-ва или типу верхней точки. Ф-ции такой еще нет.