Add rationale for Nil checking rule

[ThibaultKlein]

Add a rationale about nil checking to explain why we need to handle optionals.
Also mention early returns in a function section.