imported equality, existential and universal quantification from streams.

Signed-off-by: Pepijn Kokke <pepijn.kokke@gmail.com>