I think something like datalog queries would be perfect for refactoring and searching tags. Would also let you declare relationships between tags, like "tagged

I think something like datalog queries would be perfect for refactoring and searching tags. Would also let you declare relationships between tags, like "tagged(x, calculus) -> tagged(x, math)"