Basic specialization works.  It does not improve performance (actually, it degrads performance by ~30%), but all Cedalion unit tests are passing,
and it seems that specialized clauses are taking effect.