Pošalji tekstualnu poruku: Shaded tangles for the design and verification of quantum programs