Changed semantics of if-expression

An if-expression now no longer requires you to provide an alternative branch