Text this: Foundations of regular coinduction