This added contract between the caller and callee is huge. No more searching for that one branch of a non-trivial function that failed to wrap its immediately a

This added contract between the caller and callee is huge. No more searching for that one branch of a non-trivial function that failed to wrap its immediately available return value in a Promise.