Polished source code
Added 'state' and 'stateT'
Added 'writer' and 'writerT'
Updated documentation
Polished source code