FoldStep now takes a Traverser<S>  in line with the new model that lambdas get access to Traveser.