Enviar por SMS: Higher semantics of quantum protocols