diff --git a/src/Bergamot/ObjectLanguage.elm b/src/Bergamot/ObjectLanguage.elm
index 624a508..4fd9d4f 100644
--- a/src/Bergamot/ObjectLanguage.elm
+++ b/src/Bergamot/ObjectLanguage.elm
@@ -146,9 +146,9 @@ typeToTerm t =
 exprToTerm : Expr -> Syntax.Term Metavariable
 exprToTerm e =
     case e of
-        IntLit i -> Syntax.Call "intlit" [Syntax.IntLit i]
-        FloatLit f -> Syntax.Call "floatlit" [Syntax.FloatLit f]
-        StrLit s -> Syntax.Call "strlit" [Syntax.StringLit s]
+        IntLit i -> Syntax.Call "lit" [Syntax.IntLit i]
+        FloatLit f -> Syntax.Call "lit" [Syntax.FloatLit f]
+        StrLit s -> Syntax.Call "lit" [Syntax.StringLit s]
         Plus e1 e2 -> Syntax.Call "plus" [exprToTerm e1, exprToTerm e2]
         Pair e1 e2 -> Syntax.Call "pair" [exprToTerm e1, exprToTerm e2]
         Fst ep -> Syntax.Call "fst" [exprToTerm ep]