Relaxed if evaluation: the condition value can be anything (but the type system is going to block anything other than booleans anyway)