`Stack.fold` didn't exist back then 

Also update comments of `transitioning.mli` to reflect reality