Updated the definition for the stream equivalence in samples/prog-equiv/stream.

Corrected the definition for the the stream equivalence and added some more examples. The definition is still incomplete, e.g., the function checking a substitution must be rewritten, but it is fine now for the demo purposes.

PS This is my first pull request, I hope it works.