add foldUnfolding2a
add unfolding.  Looks pretty good, performance-wise.