Added Colist-coind-stronger-ho.
We cannot prove Colist-coind-stronger-ho from Colist-coind-ho.
Added Conat-stronger-coind₂.
Cleaning.
s/GreatestFixedPoints/GFPs and s/LeastFixedPoints/LFPs.