Changed interface: use Cofree instead.
Implemented Delta and Stream, expanded some documentation.