Added draft version of Stream-gfp₂ using the Agda coinductive stuff.
Added draft version of Stream-gfp₂ using the Agda coinductive stuff.

Ignore-this: 6c2676f3926657febcc44f83992f3352

darcs-hash:20110926155004-3bd4e-b325b914bf8d3d38ab3084ce1c2bc672b442c586.gz

asr/fotc,asr/fotc