symbolic addition
c = addf(a, b)
character strings.
The function addf performs a symbolic addition.
c = addf("a", "b") returns the character string c
which is "a + b". Trivial simplifications such as addf("0", "a") or addf("1", "2") are performed.