Comment to TODO.
Implemented a better logic for global variable

return_value. Maybe this should be revised once again, since
we maybe want to use the return value false to indicate nothing.
Made a doc for CreateOperationWithDoc.
Created complete docu for Declare*WithDoc functions.