Make diff type-safe
By making small changes in the patch of a fixpoint we can probably make it type safe.
The downside is that we'll need to propagate these changes everywhere.
By making small changes in the patch of a fixpoint we can probably make it type safe.
The downside is that we'll need to propagate these changes everywhere.