add link to Chang and Felleisen: Profiling For Laziness