Describir: Clifford Circuit Optimization with Templates and Symbolic Pauli Gates