Часто у переменной есть определенная область видимости....
многие переменные не используются одновременно
почему бы не сделать совместное использование ячеек?
в принципе это эквалентно переименованию регистров при генерации кода процессора, только сократит операции выделения/освобождения памяти
все таки хотелось бы увидеть унификацию как в прологе...