Revisiting "unfold" and renaming it to unfolding#1552

samuelchassot wants to merge 5 commits intoepfl-lara:mainepfl-lara/stainless:mainfrom

samuelchassot:sam/unfoldsamuelchassot/stainless:sam/unfoldCopy head branch name to clipboard