added gitignore
Initial attempt at sorted stream.

This seems to work. It's interesting that we seem to indeed have a monad
structure, but on a richer category than we can express.
added stream merge
added some more functions (especially remove and filter)