Мне кажется, вы путаете типы функций и определения. Вы можете создать тип для методов и функций и использовать их каждый день в Delphi, например TNotifyEvent, который является типом методов, который вызывается в большинстве операций с пользовательскими элементами управления. Такие типы позволяют вам определять функции, соответствующие определенному заголовку (то есть ожидаемые параметры и возвращаемое значение).
Совершенно другая проблема - указатели на функции - указатель на конкретный экземпляр функции, так что вы можете «вызвать» указатель, и он вызовет функцию. Указатель может быть функцией определенного типа (как описано выше), но эти две проблемы практически не имеют ничего общего друг с другом.
Третья совершенно не связанная вещь - стек вызовов функций. Выход, как упоминал Тобиас, является зарезервированной директивой компилятора, а не функцией как таковой.
В заключение, для всех практических целей то, что вы хотите достичь, не правильно и невозможно. Возможно, вы сможете «обмануть» Delphi, приняв что-то подобное, но это будет просто неверно, ИМХО.