Further typechecker and interpreter cleanup#2165

Merged

sauclovian-g merged 21 commits intomasterfrom dholland-typechecker

Jan 13, 2025

+710-246

Commits on Dec 18, 2024

Commits on Dec 19, 2024

Commits on Dec 21, 2024

Remove commented-out leftovers.
sauclovian-g
committed

Commits on Jan 11, 2025

Commits on Jan 13, 2025

Typechecker: tinker with the allowWrongMonad message in inferStmt.
sauclovian-g
committed
CHANGES: markdown 1, dholland 0 (fix formatting)
sauclovian-g
committed