v0.7.5

Minor changes:

• Suport syntax sugar for nested Σ-types (see #183) by @geffk2
• Improve error reporting (see #176 and #179)

Fixes:

• Support newer lsp (specifically, lsp-2.7.0.0, see #188)
• Fix CI (see #184)
• Fix build of nix flake on aarch64-darwin (see #181)
• Small documentation fixes (see #178)