Updated documentation
Defaulted head, any, and all to the lazy folds