Update to TypeScript 0.9.7