added notes about recursion + corecursion