Text this: Separable functors in corings