🔄 Session Type InferenceProtocol Synthesis, Communication Safety, Type Reconstruction, Multiparty Sessions