Add support for Clifford angles of Pauli Polynomials

[keefehuang]

If a Pauli Polynomial has a Clifford angle, it can be decomposed into Clifford gates.

Support fractions of a constant symbol that is automatically recognized? There should be some best-practice in this regard.