Pi-Calculus Type Inference