addf - symbolic addition
addf("a","b") returns the character string "a+b". Trivial simplifications such as addf("0","a") or addf("1",2") are performed.
addf('0','1') addf('1','a') addf('1','2') 'a'+'b'