Statistics for Quantum programming and synthesis: Internalizing Clifford operations and beyond