In practice, this seems to happen; I haven't been able to make a test case where lfun::``+() gets more than one argument.
I have: `+(1,2,3,x,4,5,6) calls x->``+(1,2,3). (Pike 7.8.350.) However, I don't see any reason for this. It should call x->``+(6), just like 1+2+3+x+4+5+6 does.
So I still believe that ``+ with multiple arguments should be used for right-recursive sums.