1) Update the angle representation to discretize angles. In QEC circuits, the finest discretization is \pi / 4 (or 1/8th rotations). Include 2) Update PP to allow merging and then splitting of angles 3) Update CT to allow conjugation by Clifford Pauli Gadgets