Pošljite SMS: Efficient Local Type Inference