Refactored monoids, functors (to keep type).
Added body to writer; w defaults to [].
Changed features section.