Add labelled mvars for tracing

Whenever put or take must wait, the given tag is used to label the new
task.