modified the definition seq.k in samples/prog-equiv/stream and added several examples in samples/prog-equiv/stream/programs.
modified the definition seq.k in samples/prog-equiv/stream and added several examples in samples/prog-equiv/stream/programs.