A Coinductive Approach to Computing With Compact Sets