Generative Type Inference For Python