BeltarавторПроцедурный Тип в Delphi применим только для автономных процедур(не для вложенных). Т.е. вложенные процедуры(компилятор называет “локальными”) не являются Процедурным Типом, и их нельзя использовать в качестве переменных или параметров.

Дык вот это само по себе странность. Причем странность неочевидная, если про нее не знать, как та же невозможность передать property в var параметр. И вообще непонятная. Если можно прямо в центре процедурки зафигачить другую процедурку, которая будет иметь точку входа и при этом еще и захватывать контекст, то что мешает сделать то же самое для вложенных функций, которые с точки зрения их пользователя есть то же самое, только записанное чуть в стороне?
Это странность тогда, когда рассматривают язык только с точки зрения синтаксиса, а не реализации, что часто очень удобно: представляшь, какой код должен получиться после компиляции, а из этого уже создаешь синтаксическую конструкцию, которая к этому приводит. Var и property - это синтаксический "сахар", без которого можно обойтись ( var - очень древний "сахар", property - чуть новее), поэтому если представить, что var - это просто адрес переменной, а property это вызов соотвествующих гетеров и сетеров, становится понятно, почему property нельзя передать как var параметр. С локальными процедурами аналогично - локальная процедура отличается от "независимой" процедуры именно указателем на контескт "родителя", она видима, только пока контекст родителя доступен, поэтому ее нельзя вернуть "наружу". Как реализованны анонимные процедуры с захватом контекста, я не изучал (пока) и с трудом представляю, т.к. (обычно) локальные переменные - это просто кусок стека, который при завершении процедуры освободится, а значит контекст должен быть где-то в другом месте, что должно приводить ко всяким проблемам со времени жизни этого контекста и пр. Написанное относится к обычным компилируемым реализациям, в которых нет RTTI: информация об именах переменных и функций не попадает в результирующий код, однако необходимость удобной сериализации привела к некоторому сближению компилируемых и интерпретируемых концепций - появились published свойства и RTTI, соответсвенно. Дальше - больше, подозреваю, скоро появится еще и функция eval(SourceCode:string):TVariant, которая в runtime выполняет код :)
Сумбурно как-то получилось.