updated the included types.js to 1.4.2