_>Приведите пример кода на вашем "безымянном" языке
_>Создание переменных (локальных, глобальных)
_>Ветвление
_>Циклы
_>Вызов функций
_>Определение функций
_>Опрелеление массивов
_>Определение структур

Все это делается как и во многих других старых "классических" языках типа Паскаля, Си, Бейсика и т.д, которые были до появления в них ОО-подхода.
Есть локальные, глобальные переменные.
Есть конструкции цикла, условия-ветвления.
Есть процедуры и функции, параметры можно передавать по значению и по ссылке.
Есть массивы, есть структура. Других "сложных" типов данных нету.

_>Есть ли какие ограничения?

Нету указателей на функции. Со всеми вытекающими последствиями.
Ведь классы, интерфейсы, наследование, внедрение зависимостей — все это основано на указателях на функции.
А в этом языке их нету.
По сути мне нужно "вручную" придумать механизм, заменяющий указатели на функции.
Вот я и ломаю голову, как бы это реализовать.

Без указателей на функции код получается жестко связанным.