More Coinduction improvements

Adds `∞≡`’s setoid