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?

A issue não nomeia arquivos, testes ou pontos de entrada. Comece localizando as definições e a documentação existentes para freeze e thaw e, em seguida, compare as garantias declaradas com o comportamento de array contexts; considera-se concluído quando a semântica e as operações permitidas estiverem descritas com precisão.

Escrita pelo modelo de indexação a partir do texto da issue.