Added pattern for streams.
Documented Sequence, List and Stream monads.
Excluded Set monad (left as an example). Continued documentation.