This is very very very interesting work. I had a similar feeling and ideation about Law and legislation before, and envisioned a World whee laws could be written in a syntactically structured language and then formally verified to fix, prevent and elaborate new rulings, eliminating ambiguity and creating the same type of standardization you describe.

Then I got severely discouraged by every single lawyer friend I have as an impossible task, both technically (which I disagree, it still sounds perfectly reasonable to me) and most importantly: politically. There would be no interest from real world actors in this, because all of them profit exactly on the ambiguity of the law.

I'm genuinely curious to understand why that would not be the case here, and ISDA's case seem to be a good inspiration.