Quantum Calculi—From Theory to Language Design