RE: IfExpr has a mandatory else clause

>
>
>You could simply use parentheses to tie the 'else' to the outer 'if':
>
>if (expr) then (if (expr) A) else B
>  
>

Absolutely. Introducing curly braces would be inconsistent
with the rest of the language: except fo r variable initializations
( which should be changed), curly braces are used for
constructs related to nodes.