Text this: Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types