Yeah we'd like to add TS throughout but it will require some technical and some content work. We didn't want to block the release on that.
If you "inspect" the elements with the mouseovers, you can see they statically compiled the TS definition into the HTML.
I guess it probably uses the same APIs to read the types VSCode does, given what they state the purpose of Shiki is.