A Coalgebraic Foundation for Coinductive Union Types