I didn’t even settle on the syntax fully yet. Parser is isolated. I just wanted something less relying on a user’s math degree 
That’s exactly why I explicitly stated I am not after a general purpose language. To accomplish a trivial program we already have bash script. Self-contained pure logic (think a bank transaction involving several sides) is something that might be isolated and then called from the outside. Boundary is still error-prone, but I am fine with that because it leaves a single place of failure and it still might convince the developer to try to prove the transaction itself.
