Added note on the co-induction principle for Conat.