@kana_sama если вы ещё сами не натолкнулись, можно посоветовать посмотреть на пару классических стековых машин для ФЯ: SECD и categorical abstract machine. То, о чём вы спрашиваете, - это окружения (environments). Размещение их на стеке - оптимизация, которая не всегда возможна.