Fix compiler bug with rank 2 types in mapAccuml#2342

Draft

CharlonTank wants to merge 3 commits intoelm:masterfrom

CharlonTank:fix-mapaccuml-rank2

Commits on Dec 14, 2024

Commits on Dec 26, 2024

feat: Implement value restriction and rank-N types - Add expansiveness tracking, improve rank handling, enhance occurs check
CharlonTank
committed