Cyclic Proofs, System T, and the Power of Contraction