Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation