Stav dette: Higher semantics of quantum protocols