TYPESCRIPT, CZYLI NADZBIÓR JAVASCRIPTU