diff --git a/content/blog/01_types_basics.md b/content/blog/01_types_basics.md
index 17119b8..821c352 100644
--- a/content/blog/01_types_basics.md
+++ b/content/blog/01_types_basics.md
@@ -443,8 +443,8 @@ and already be up-to-speed on a big chunk of the content.
 #### Playground
 {{< bergamot_widget id="widget-one" query="" prompt="PromptConverter @ prompt(type(empty, ?term, ?t)) <- input(?term);" >}}
 section "" {
-    TNumber @ type(?Gamma, intlit(?n), number) <-;
-    TString @ type(?Gamma, strlit(?s), string) <-;
+    TNumber @ type(?Gamma, lit(?n), number) <- num(?n);
+    TString @ type(?Gamma, lit(?s), string) <- str(?s);
     TVar @ type(?Gamma, var(?x), ?tau) <- inenv(?x, ?tau, ?Gamma);
     TPlusI @ type(?Gamma, plus(?e_1, ?e_2), number) <-
         type(?Gamma, ?e_1, number), type(?Gamma, ?e_2, number);
diff --git a/content/blog/bergamot/index.md b/content/blog/bergamot/index.md
index 75459c2..403fb13 100644
--- a/content/blog/bergamot/index.md
+++ b/content/blog/bergamot/index.md
@@ -263,8 +263,8 @@ It has two modes:
 
 {{< bergamot_widget id="widget-one" query="" prompt="PromptConverter @ prompt(type(empty, ?term, ?t)) <- input(?term);" >}}
 section "" {
-    TNumber @ type(?Gamma, intlit(?n), number) <- int(?n);
-    TString @ type(?Gamma, strlit(?s), string) <- str(?s);
+    TNumber @ type(?Gamma, lit(?n), number) <- num(?n);
+    TString @ type(?Gamma, lit(?s), string) <- str(?s);
     TVar @ type(?Gamma, var(?x), ?tau) <- inenv(?x, ?tau, ?Gamma);
     TPlusI @ type(?Gamma, plus(?e_1, ?e_2), number) <-
         type(?Gamma, ?e_1, number), type(?Gamma, ?e_2, number);