Αποστολή με SMS: Type Checking and Inference for Dynamic Languages