Context-Free Session Type Inference