Added foldRight and reimplemented forAll using foldRight