Request: add a chapter or section on lazy evaluation

[SantiDu]

Although Lean is a strict language, it has lazy features. A book on functional programming is more complete with lazy evaluation.