Middlend Fixes#216

Open

DCupello1 wants to merge 25 commits into

mainfrom

Commits on Feb 23, 2026

Commits on Feb 26, 2026

Improve-ids: fixed transform mixop to have the intended effect, and some more misc changes to naming and letpr.
DCupello1
committed

Commits on Mar 5, 2026

Make type families have a default name if there are no quantifiers.
DCupello1
committed

Commits on Apr 21, 2026

Undep: deactivating wfness now does not remove essential ones such as type family ones.
DCupello1
committed

Commits on May 4, 2026

Undep: the wfness filter now checks the entire expression for type families
DCupello1
committed

Commits on May 12, 2026

Commits on May 26, 2026

CR changes
DCupello1
committed