Refactoring with Convergence Rules

Three rules turn duplication into abstractions through tiny steps, and catch false abstractions before they ever reach the code.