Post New Typer

[mlutze]

• [x] https://github.com/flix/flix/issues/7427 -- I think this is important before work on the std lib.
• [ ] https://github.com/flix/flix/issues/7428 -- I think this is important before work on the std lib.
• [x] #7503
• [ ] https://github.com/flix/flix/issues/7433
• [ ] https://github.com/flix/flix/issues/7477
• [ ] https://github.com/flix/flix/issues/7476
• [ ] #7278
• [x] #7499
• [x] #7500
• [ ] #7507
• [x] #7501
• [x] Check on source location of constraints arising from sigs that are not directly applied
• [ ] try out merging Scheme.instantiate and addClassConstraints
• [x] look at location copying for class constraints https://github.com/flix/flix/pull/7306#discussion_r1505429717
• [ ] consider helper for unary and binary ops https://github.com/flix/flix/pull/7306#discussion_r1505768372
• [x] naming in Expr.Apply(Expr.Def https://github.com/flix/flix/pull/7306#discussion_r1505760601
• [ ] Add MismatchedKinds error
• [x] Make Scheme.lessThanEqual return Bool
• [x] Change args fields in AST nodes to exps
• [x] check effect of JVM method matches declared
• [x] unifyAllTypes don't return anything https://github.com/flix/flix/pull/7306#discussion_r1505474714
• [x] instanceof -- allow non-pure argument
• [x] Require guards to be pure
• [x] Rename TypeContext methods
• [x] Remove levels
• [x] Remove old typer and associated functionality.

[magnus-madsen]

@mlutze I tried to update and cleanup the list. I did not create tickets for the items in the middle because I don't know exactly what needs to be done. I suggest you either edit the text and/or create tickets for the things that should be fixed.

My next step is to do some review of the core files.

[JonathanStarup]

@mlutze is this still being used?

[mlutze]

I think it's stale wrt the new new typer stuff.