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?

Das Issue nennt keine Dateien, Tests oder Einstiegspunkte. Beginne damit, die vorhandenen Definitionen und die Dokumentation für freeze und thaw zu finden, und vergleiche dann deren angegebenen Garantien mit dem Verhalten von array contexts; abgeschlossen ist die Aufgabe, wenn die Semantik und die zulässigen Operationen präzise beschrieben sind.

Vom Indexierungsmodell aus dem Issue-Text verfasst.