Unified Condition Expressions

A design that subsumes the various syntactic forms of

• if statements/expressions
• switch on values
• match on patterns and pattern guards
• if-let constructs

and scales from simple one-liners to complex pattern matches.