Added some documentation comments.
Implemented null-check preconditions for functions in the Lazy module.