Text this: Totality for Mixed Inductive and Coinductive Types