Symbolic Synthesis of Clifford Circuits and Beyond