Zaslat SMS: Efficient Local Type Inference