Fix parser bugs for quoted table names, nd-arrays, extractMaybeString, and resumeWal toSql

- Use stringOrQualifiedName subrule in INSERT, CREATE TABLE, and RENAME TABLE for quoted table names
- Group array subscripts by bracket pair for correct nd-array vs chained access
- Fix extractMaybeString to handle identifier subrule and IdentifierKeyword token
- Fix resumeWalToSql dual emission with else-if
- Fix arrayAccessToSql to combine subscripts as [s1, s2] for nd-arrays
- Add typecheck CI step, sort grammar lists alphabetically
- Add tests and proof tests for all fixes

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: emrberk

.github/workflows/ci.yml

@@ -19,6 +19,8 @@ jobs:
 
       - run: yarn
 
+      - run: yarn typecheck
+
       - run: yarn build
 
       - run: yarn lint

src/grammar/constants.ts

@@ -1,11 +1,3 @@
-/**
- * SQL Constants - Literal constants and named values
- * Used for: constant.language highlighting in Monaco editor
- *
- * These get a distinct color from keywords in the editor.
- * Includes: boolean literals, time units, compression formats,
- * protocol names, and other named constants.
- */
 export const constants: string[] = [
   "asc",
   "brotli",

src/grammar/dataTypes.ts

@@ -1,7 +1,3 @@
-/**
- * SQL Data Types - Type names used in column definitions
- * Used for: dataType highlighting in Monaco editor
- */
 export const dataTypes: string[] = [
   "binary",
   "boolean",