Type Inference In Javascript