Fix doc pointers about 'improve'

Point to the internal Control.Monad.Free.Church besides the
'kan-extensions' package.