diff -rN -u old-nvim-tree-sitter-unicode-conceal/after/queries/nickel/highlights.scm new-nvim-tree-sitter-unicode-conceal/after/queries/nickel/highlights.scm
--- old-nvim-tree-sitter-unicode-conceal/after/queries/nickel/highlights.scm	2024-12-22 10:51:56.028812834 +0000
+++ new-nvim-tree-sitter-unicode-conceal/after/queries/nickel/highlights.scm	2024-12-22 10:51:56.028812834 +0000
@@ -9,6 +9,7 @@
 ("=>" @operator (#set! conceal "⇒"))
 ("=" @operator.assignment (#set! conceal "≔"))
 
+
 ("==" @operator (#set! conceal "="))
 ("!=" @operator (#set! conceal "≠"))
 ("<=" @operator (#set! conceal "≤"))
@@ -24,7 +25,11 @@
 
 (".." @variable.parameter.builtin.nickel (#set! conceal "‥"))
 
-("Bool" @type (#set! conceal "𝔹"))
-("Number" @type (#set! conceal "ℝ"))
+((type_builtin ("Bool" @type)) (#set! conceal "𝔹"))
+((type_builtin ("Number" @type)) (#set! conceal "ℝ"))
+(types (_ (_ (_ (_ ((ident) @type (#eq? @type "Integer")))))) (#set! conceal "ℤ"))
+(types (_ (_ (_ (_ ((ident) @type (#eq? @type "Nat")))))) (#set! conceal "ℕ"))
+(type_atom ("[|" @punctuation.bracket.nickel) (#set! conceal "⟦"))
+(type_atom ("|]" @punctuation.bracket.nickel) (#set! conceal "⟧"))
 
 ((atom) @variable @constant.builtin.nickel (#eq? @constant.builtin.nickel "null") (#set! conceal "∅"))