Structured General Corecursion and Coinductive Graphs [extended Abstract]