Update .cabal file and changelog.
Add 'MonadReader' instance. Add remark about lifting control operations in the design notes.