Added iterators for WTs; fixed examples.