Seol mar théacs é seo: Formal description of Slavic languages