Structural changes to mathlib