I think programming evolved from math oriented folks, which is why we find it unnatural to reason about law and other societal constructs using a programming language. I wonder how it would look if it were built for an entirely different purpose. It would be really interesting if Y Combinator invests in that research effort.