Envoyer par SMS: Higher semantics of quantum protocols