A HoTT Quantum Equational Theory (Extended Version)