added operations on free monad
fixed docs for retract
Merge pull request #26 from fizruk/master

Operations on free monad