LET’S SEE HOW THINGS UNFOLD: STRONGLY FINAL COALGEBRAS IN DEPENDENT TYPE THEORY