HTML version of the TypeScript language spec (sans suck)