added lazy value documentation, version 0.13