[Feature Request] Extend typing improvements from #938

[dandavison]

#938 improved type inference. Check whether the analogous improvement can be made elsewhere, as suggested in the comment:

Should this also be done with workflow things like execute_activity, start_activity, execute_child_workflow, and start_child_workflow?