Constructs in Structured Dagger include specification of dependence of computation on messages (when-blocks), atomic, ordering, and loop constructs.
