Precision: What actually do `freeze`/`thaw` mean?

@kaushikcfd raised the question after attempting a precise description in a paper.

Here are some aspects:
- Arithmetic/other ops are guaranteed to be available only on thawed arrays.
- Exchange between array contexts is only allowed on frozen arrays.

Maybe that suffices?

この issue ではファイル、テスト、エントリーポイントが指定されていません。まず freeze と thaw の既存の定義とドキュメントを見つけ、次にそれらが示す保証と array contexts の動作を比較してください。セマンティクスと許可される操作が正確に記述されていれば完了です。

索引モデルが issue の本文から書いたものです。