символьное суммирование
c = addf(a, b)
символьные строки.
Функция addf выполняет символьное суммирование.
c = addf("a", "b") возвращает символьную строку c,
которая равна "a + b". Выполняются простейшие упрощения, такие как addf("0", "a") или addf("1", "2").