Expanded documentation on lazy values