recursive integer addition expressions