Update to TypeScript 1.3