GOOSE v0.3.1 (#137)

Summary updates for GOOSE v0.3.1.

---------

Co-authored-by: Copilot <[email protected]>

docs: summary for GOOSE v0.3.0 (#114)

Summary of the state of GOOSE for the v0.3.0 release.

Summary update for v0.2.1 (#75)

Update summary for GOOSE v0.2.1

GOOSE v0.2.0 Summary (#53)

- Adds `SUMMARY.md` with a high-level summary of GOOSE v0.2.0
- Small refactors, code cleanups and comment updates.
- Fixes mistakes in ephemerality checks in `Function.logic`.

Type representation and casting (#5)

- Adds the `TypeRep` type class which provides a unique type
representation
- Adds the `derive_type_rep` macro which derives an appropriate
`TypeRep` instance. This macro is left unfinished, to be completed in
future work.
- Adds the axiom stating that equality of type representations implies
the equality of types
- Adds a cast `rcast` to cast between types with equal representations
- Removes `Anoma.Raw` in favour of using type representations and casts
- The type representation computation is not completely correct, but
this doesn't matter until we actually try to run the model.

---------

Co-authored-by: Jan Mas Rovira <[email protected]>