TypeScript is a __________.
Dynamically type-checked language
\New version of JavaScript
Compiler
Super-set of JavaScript
