Exercise 5.4: Implemented forAll.

Implement forAll, which checks that all elements in the Stream match a
given predicate. Your implementation should terminate the traversal as
soon as it encounters a non-matching value.