Even if you did, the result would almost certainly be a fairly expressive formal system. Deciding equivalence of some change would be undecidable and enumeratin

Even if you did, the result would almost certainly be a fairly expressive formal system. Deciding equivalence of some change would be undecidable and enumerating the "interesting" differences between changes would be impossible in practice.