Add type variables and quantifiers to the AST#775

Open

AltGr wants to merge 3 commits intomasterfrom typevars

+643-495

Commits on Jan 21, 2025

Commits on Jan 23, 2025

Type variables: fix monomorphisation, update tests
AltGr
committed