Export MonadTransControl associated type constructors

This will soon become redundant, as they are moving to type synonyms
mapWriter
Add a test for mapWriter
Lazy writer runners
add catch, map except effect and convenience functions