The Size-Change Principle for Mixed Inductive and Coinductive types (Logical Methods in Computer Science, 2025)