Initial version of the makemorphisms package

So far, only Data.Morphisms.Cata is exposed.