Monadic stream operations + etc

Fix forget Redundant impl (just an exception), add monadic stream
operations (join and bind), make forget-stream strong