Proposal: `then`, `else` syntax to replace `&&`, `||` short-circuiting

AFAIK && and || always short circuit, not just sometimes. Also, many languages have them, or equivalent forms. See the table here.

Just out of curiosity, how would you deal with a && b && c && d?