SMS versenden: Higher semantics of quantum protocols