tretyakov_sa, помнится мне, в свое время в МГУ народ разрабатывал хитрый форт подобный язык DSSP одним из козырей которого как раз было "программирование сверху вниз" то есть возможность постепенной "детализации" слов. Это делалось добавлением "таблицы неопределенных ссылок", если не ошибаюсь...