Expand if/else narrative

[jcsherin]

• You have to always provide the else branch
• Unless you are returning unit type
• Rationale for why this restriction is necessary for writing robust production code
• Is an expression, not a statement