Add sections on iterator methods, prelude traits