Add support for _conditional expressions_

[marcaube]

In Python, you can write if expressions, in the form of X if condition else Y. It's an expression instead of a statement, because it produces a value. As such, you should be able to use this form of expression anywhere a typical expression can be used, e.g. in a let statement let foo = <if_expression>.