But how is the below possible - doesn't it need to include most of the TypeScript compiler? Does it compile the type definitions to some kind of validation structure (like how a compiled regex works) and then use just that?

    - Zero external dependencies
    - Works in Node.js and all modern browsers
    - Tiny: 2kb core bundle (gzipped)