On a Categorically Sound Quantum Programming Language for Circuit Description