Add examples to Data.Stream.
Add examples to Logic.
Add examples to Logic.Term.
Add examples to Logic.Formula.