It would be cool if there was a new kind of language we could use where there’s no ambiguity and we could define rules and procedures

you mean like those old programming languages of the days of yore?

things were so much easier back then, weren't they?

i was there, 3000 years ago...

Yeah, and you would also want to make it so that you get the same exact result every time, so that once you get the language right, you can be confident in the result. Shame that we never invented anything like that though, it would be super useful.