Refactoring as Algebra: Small Steps to Clarity | Dark Hacker News