Added CyclicSpec.hs.