Без заголовка

Очень интересный заход, но там главный упор на S2 и поддержку внешних "перцептов" для S2. Меня же сейчас интересуют способы объединения S1 и S2. Я там не увидел способов "аналогового patter matching", вшитых в язык (причём таким образом, чтобы алгоритмы можно было менять). То есть это подъем уровня S2 (да ещё и в связке с semantic web парадигмой), что не решает проблем, о которых этот мой постинг.