Tested copatterns and corecords together. Also a few minor edits to section on guarded recursion.