Add lazy_foldr to Foldable.
Make the header comment and license uniform.
Move any, all and none to Foldable.