Restate cyclicity/bisimilarity rules, cleanup.