Testing static types in TypeScript