Allow empty TraversableDecorator

The traversable ctor is now optional and defaults to an empty iteration.

This is useful for the common "init on rewind" iterations.