Вообще самым перспективным мне кажется гибрид стекового и регистрового процессора. Сопроцессор, например, плавучка, это набор регистров. И есть команды обмена регистров и стека с прямым указанием смещения относительно вершины стека.
Можно также ввести короткую относительную адресацию (8бит, например) Относительно вершины стека для операндов слов.