Experimental type annotations for JavaScript