Reformated motivation section of invoker proposal.

Added speparate header of deref_fn wrapper example. Added new
paragraph before implementation.