Add details about lazy evaluation on infinite lists