Can we say, for instance, that once the base case for a recursive procedure is reached, the recursive process consisting of the evaluation of the procedure 'unwinds'? Here, the term 'unwind' would roughly mean "collects all deferred values until the entry point of the recursive procedure is met."
I understand that 'unwinds' may hint at a 'winding' process occurring beforehand, which happens to be the evaluation of the procedure up to the point of reaching the base case, however, I would not feel comfortable with using 'unevaluates' in order to maintain linguistic symmetry.