Document `map` iteration syntax

[bbannier]

We currently do not seem to explicitly document the syntax for map iteration. We should add something like that the type documentation for the map type (and might also do it for vector and set for consistency).