[release] 0.26.0

[apalache-bot]

Reviewer instructions

• Check the changelog to ensure the version increment is consistent with https://semver.org/.
  • If a different version should be released, follow the instructions.
• Review the changeset as a sanity check.
• Approve the PR, if it pases muster.
• Merge this branch (do not squash or rebase), but DO NOT DELETE THE BRANCH.
• After the release has been published to github, delete this branch.

---

Release notes

0.26.0 - 2022-07-26

Breaking changes

• Rename base development branch from unstable to main, this is noted as a breaking change as it could break some CI process or scripts that deploy from source (see Rename unstable to main throughout codebase #1990)

Features

• introduce new syntax for type aliases, see Introduce new syntax for type aliases #1977

Documentation

• update the syntax of type aliases in the documentation