WIP: feat: allow limited type ascriptions in data/codata#25

Draft

alexkeizer wants to merge 5 commits intomainfrom

type-ascription

Commits on May 23, 2024

Commits on Jul 6, 2024

WIP: try to narrow down failing tests
monsterkrampe
committed

Commits on Jul 8, 2024

WIP attempt at setting Syntax references to localize errors better
alexkeizer
committed