Как я понял, им осталось не так много, чтобы показать суть идеи (сейчас там остаются трансляции в Си и некоторые другие некрасивости) -- хотя, как всегда, это "не так много" может быть весьма проблемным.
Они назвали эту систему Frank (от "Франкенштейн"), ибо задача этой системы -- показать, что собранное из предложенных языковых, алгоритмических и архитектурных идей программное изделие более чем живо и работоспособно.
Отчёт для NSF читается, как роман. Рекомендую (хотя многое в нём трудно понять, если незнаком с предыдущими работами -- тогда вам сюда: http://www.vpri.org/html/writings.php).
Я еще не видел работ, которые настолько бы явно выражали идею компактификации знаний, и так далеко в этом деле продвинулись.