The correct answer from @jonrsharpe:
"how TypeScript obtains the original DOM document object from the browser" - it doesn't. Those interfaces are only used to make sure you're doing the right thing at compile time. At run time, you have regular JavaScript accessing the global document object.