Explicit type annotations shouldn't be required when iterating over e.g. Map.entries()

For a map of type `!Map`, map.entries() returns an `!IterableIterator>`.

The information that the first element of each entry must be a string and the second must be a number is lost, so you have to explicitly cast them later.