Stream is now a monoid and a semi-group.
- Adding more laws.