Text this: Clifford Circuit Optimization with Templates and Symbolic Pauli Gates