Document FrameLocalsProxy behaviour quirks

Following PEP 667, https://docs.python.org/dev/reference/datamodel.html#frame-objects mentions that frame.f_locals may be a write-through proxy object, but doesn't really explain what that means.

Once https://github.com/python/peps/pull/3845 lands PEP 667 will contain such a description, but the main docs should at least cover the key behaviours:

• new instance on every attribute access
• two proxies with the same keys and values will still be unequal if they refer to different frames
• extra keys can be stored and are stored on the frame itself so they're shared across all proxies for the same frame
• keys corresponding to local variables can't be deleted
• .copy() (and any other API that produces a new container) returns a regular dict instance

Suggested location would be as a new 4th subsection under the frame objects section linked above. A "see also" from that new subsection back to PEP 667 would also be a useful addition.

Python データモデルのドキュメントにある frame オブジェクトのセクションから始め、リンクされている PEP の pull request を含めて PEP 667 を確認します。FrameLocalsProxy の列挙された 5 つの動作を説明する 4 番目のサブセクションと、PEP 667 への See also リンクを追加します。メインドキュメントで、プロキシの同一性、共有される追加キー、削除できないローカル変数、dict を生成する API が説明されていれば完了です。