Add labelled mvars for tracing

Whenever getting or taking must wait, the given tag is used to label the
new task.