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?

El issue no nombra archivos, pruebas ni puntos de entrada. Comienza localizando las definiciones y la documentación existentes para freeze y thaw, y luego compara sus garantías declaradas con el comportamiento de los array contexts; se considera terminado cuando la semántica y las operaciones permitidas están descritas con precisión.

Escrito por el modelo de indexación a partir del texto del issue.