There have been dozens of efforts in the past, dating back to the 1980s and . Sadly, they've mostly all become complicated an indecipherable by humans. Technical people don't seem to understand that a contract is an agreement between people, not a protocol between machines, so the results are often entirely provable in math but useless as contracts.
I've not looked at common business-oriented language - is it readable?
If structured as designed!, yes. Being among the first human readable programming languages it serves as a good example for ideas to build on specifics such as data items: variables.
literals and figurative constants without over complicating, simple. The code itself often becomes unreadable due to bazare over complicated unstructed coding and poor naming conventions.