Seol mar théacs é seo: Higher semantics of quantum protocols