Added first draft of copatterns in Idris section.
Added a few more tests of the size-change termination algorithm.