Text this: Applications of Metric Coinduction