[RFC007] Migration of the typechecker - part II#2134

Draft

yannham wants to merge 18 commits intomasterfrom rfc007/typechecking-part-2

+5,096-12,430

Commits on Jan 7, 2025

Commits on Jan 9, 2025

Commits on Jan 16, 2025

More suffering
yannham
committed

Commits on Jan 20, 2025

More REPL stuff - TODO: continue to use new REPL-specific cache method in repl, clean the remaining todo!()
yannham
committed

Commits on Jan 22, 2025

Add missing function to get the type in Caches. TODO: use that in the REPL. Also maybe get rid of the two context in AstCache, we can use only one
yannham
committed

Commits on Jan 23, 2025

Fix last errors in REPL module (and todos)
yannham
committed

Commits on Jan 24, 2025