TypeScriptはJavaScriptに型が存在していると思い込んでいる言語です。この型、というのは広範にわたっており題にあるような特定のHTMLタグに限ったプロパティやメソッド定義の型も存在します。存在することであり難いのは予測補完できる点です。自分のよく使うPhpStormでは次の様になります。
videoタグならではのプロパティとイベントリスナーが予測されます。更にこの特有のプロパティをCtrl+Bでたどると次の型定義ファイルにジャンプします。
これを元に要素特有の機能を見つけられます。更に詳しく知りたいならば、見つけた要素名、プロパティ名、メソッド名 + MDN でググるといいです。図の様なリンクからMozzilaの詳しい説明を読むことができます。