[chrisandchris]

Does Typescript even compile or is it transpile?

[WorldMaker]

Both. Type erasure is a transpilation process. Generating .d.ts and other type metadata files is a compilation process. (With conditional types alone the type checker is compiling a fully Turing complete mini-language.)