Conclusion: I did not make the suggested change discussed above, but I did a lot of work to explain this stuff in the documentation, and I hope it’s now clear.

I also, for consistency, let you write keys() and values() which it’s a Map.

This issue can be closed.