Hillel, I wonder if you have seen this project which approaches a similar problem using the tools of Category Theory: https://www.categoricaldata.net/
I have :)
On a KeY article on HN, one commenter asked if there’s been any industrial use. A quick search of the site found what was worded like their first use in industry: a migration tool. Thought you might like that evidence you picked a good topic for this post. :)
This is fantastic, and I’ve come to really similar conclusions having done a few of these projects. This is the first I’ve seen it formally laid out.