Generalized the type of ++-Stream.
Added doc.
Note on trivial relations.