Function foregroundWork

Declares one foreground-work contract inside a Flow.

defineFlow remains the complete controller. This helper only defines bounded work that a selected transition may require before its trusted operator can be admitted.