Future_std: replace Sequence with Stream

Effectively undoing ee50b2ff2998fe4c78ebd3316993fe91bec76d8c.
Pipe: add read, junk, and read_and_leave

`read` was removed in ee50b2ff2998fe4c78ebd3316993fe91bec76d8c, and is
now added back.