Remove & replace older experiments
-
Replace delay_choice.made_choice
with some dedicatedDestructHint
type or similar. -
Change ReductionStep
s to no longer rely on lists: we don't use that anymore. -
Remove proofstep
stuff?
delay_choice.made_choice
with some dedicated DestructHint
type or similar.ReductionStep
s to no longer rely on lists: we don't use that anymore.proofstep
stuff?