Anfonwch hwn fel neges destun: Higher semantics of quantum protocols