Вынужден огорчить - этим направлением мы не занимались.
Рефал-0 - подмножество Рефала, предназначенное только для анализа и трансформации текстов - "насадка" на императивный язык. В статье на сайте это описано (правда, она краткая).

Вообще, подсистема Rocot давно готова для опубликования... Но нужно дожать по документации, оформлению. Думаю, сделаем в ближайшее время.