Its very interesting but i disagree with the operator precedence.

> but programming languages have many categories of binary operators—arithmetic, comparison, bitwise, Boolean—and mixing them together creates room for error

I think an expert should be able to remember the operator precedence of C and s.th. like

a < x && b >= y

is easier for a human to read than this

(a < x) && (b >= y)

Edit: Besides that it looks pretty promising. They even got it right to call the void type unit.