He, great article. I like the language already. Also liked the "it's the best, obviously" attitude.

Minor nitpick: what

    if (s="a")
       x=2

translates into?

    s="a" and x=2

or

    (s="a" and x=2) or (s!="a")

?

Because your example with if .. else .. seems to indicate the first one and that's weird.