Полипрограммы как представление множеств функциональных программ и преобразования над ними