Added the definitions of coalgebras, anamorphisms and hylomorphisms