style(ui): request that all types defined

- check in more restrictive mode = request types
- define main types in static/js/core/types.js

static/js/views/device-verify/device-verify.js

@@ -3,7 +3,7 @@ import { getCsrfHeaders } from '../../core/csrf.js';
 
 (() => {
     var API_BASE = window.location.origin;
-    var codeInput = document.getElementById('user-code');
+    var codeInput = /** @type {HTMLInputElement} */ (document.getElementById('user-code'));
     var deviceInfo = document.getElementById('device-info');
     var actionButtons = document.getElementById('action-buttons');
     var errorText = document.getElementById('error-text');