Add traversal examples and explain for-comprehension transformation