shows up in milestone-4, already an over large chapter. isn't particularly well explained or motivated, and really, it's trivial to implement in ebb.
The main benefit is introducing abstract interpretation, but it's at the wrong level (that should really happen way up at the top, probably, ala inlining or CP0?) and if we wanted to introduce abstract interpretation that should be its own chapter (or book) anyway
shows up in milestone-4, already an over large chapter. isn't particularly well explained or motivated, and really, it's trivial to implement in ebb.
The main benefit is introducing abstract interpretation, but it's at the wrong level (that should really happen way up at the top, probably, ala inlining or CP0?) and if we wanted to introduce abstract interpretation that should be its own chapter (or book) anyway