Очень черновой вариант алгебраических структур и сивольных выражений.