Clarify the default demand on demand environments

by adding Notes and using easier to understand combinators.