>>480
> Value() を返すってことは、参照したときの戻り値は参照型じゃないってことになるのか？
YES。
例外を投げない const [] を実現するためには、
存在しないキーが指定された場合に挿入することなく Value() を返すため、
値戻しになることは避けられない。
戻り値に参照型を使う場合は、どこかに実体を保持しなければならないから。

んで、値戻しだと代入（map[] = k）ができなくなってしまうので、
プロキシを介して、参照か代入かが判明するまで評価を遅らせる必要がある。
これが、プロキシを使えば〜の意味。