Язык соединений и превращений для формальной эвологии (Даниил Исакевич, OSSDEVCONF-2024)