typescript type definitions introduction