Local Type Inference