Added documentation for Stream and Amb monads.