added: Abel.Everything and Abel.README
modified: README.md (Tested with...)
modified: Abel.Category.Functor (comments)
modified: Abel.Data.*.Functor and Abel.Function.Functor (comments)
modified: Abel.Category.* (--no-universe-polymorphism and --without-K)
modified: Abel.Data.*, Abel.Function, and Abel.Function.* (--no-universe-polymorphism and --without-K)
modified: Abel.Everything and Abel.README (--no-universe-polymorphism and --without-K)
deleted Abel.Function (unnecessary) and modified Abel.Function.Functor accordingly
modified Abel.Function.* (deleted Abel.Function)
modified Abel.Category.Functor (renamed Fx to fx) and modified Abel.Data.Maybe.Functor accordingly
added the identity functor
added natural transformations
added the identity applicative functor and the identity monad
added the last natural transformation
s/NaturalTransformation/NT
added the id natural transformation
added monoidal functors
added the function monoidal functor