I looked at the entire section and now I understand the context. My fault.

It seems to me the term "unfolding" is not a familiar term. Where does this phrase come from? What is an unfolded variable? Would it be more understandable to call it a "Local Variable" since it expands the value of a variable defined in the local scope?

@revel/core Am I confused?