Add an hint about unfolding an `Add` object, leaving summands unevaluated...toward unfolding a recursion.
Add an hint about unfolding an `Add` object, leaving summands
unevaluated...toward unfolding a recursion.

massimo-nocentini/PhD,massimo-nocentini/recurrences-unfolding