Ну это все равно пока рабочая версия, надо посмотреть, как приживется.

А в словаре-то нету, впрочем как и DP.

А почему бы слову { не сохранять, а слову } не восстанавливать все это? Оно ведь всегда последнее? А раз мы адрес все равно теряем...
А еще можно адрес последнего откомпилированного { -м слова заносить в переменную, сделать еще слово для запуска кода из нее и для очистки этого кода = восстановления словаря. Тогда можно будет запускать такое слово любое число раз. И очищать при необходимости. Хотя очистку можно добавить еще куда-нибудь - зависит от типичного использования.

Закрывающая скобка должна исполнить-и-забыть.
В случае же, если действия исполнять надо не один раз - смысла городить огород нет -
определили новое слово и исполняем везде где надо сколько угодно раз!

in4 этот код доступен под имененм LAST-NONAME.

Адрес мы не теряем, по LAST-NONAME слово доступно (пока мы не определим еще одно слово через {). Вычищать слово чревато побочными эффектами - мало ли что внутри него захочет поработать с памятью кода. К тому же места-то занимается немного. Сохранение и восстановление точки входа в словарь будет в слове MARKER.
Собственно,

: MARKER CREATE CURRENT @ @ , [C]HERE DOES> DUP @ [C]DP ! 4 + CURRENT @ ! ;

Осталось сделать доступ к DP и [C]DP, как-то обошел вниманием...

А еще слово [C]W, потерялось где-то - хотя в первых версиях было.

Ну это уже придирки Определяется же через имеющееся.

Не, ну просто глаза мозолит - слова [C]C, и [C], есть, а вот слова [C]W, нету

да, MARKER - удобное решение.