Fixed doc.
Added doc: Agda doesn't accept the definition of Stream-build.
Defined Stream-corec.
Proved Conat-coind using the standard library.