JavaScript Gradual Types