kc3-lang/kc3

diff --git a/.ic3_history b/.ic3_history
index 1f0d452..3a10a83 100644
--- a/.ic3_history
+++ b/.ic3_history
@@ -1,8 +1,3 @@
-C3.if
-1 2 3 4
-i = C3.if
-i
-1 2 3 4
 if 1 2 3 4
 if = C3.if
 if 1 2 3 4
@@ -97,3 +92,8 @@ sqrt(-1)
 3 +i 2 + 2 +i 3 +i 1
 3 +i 2 + 2 +i 3 +i 1 + 2
 3 +i 2 + 2 +i 3 +i 1 + 1
+1 +i 2
+1 +i 2 +i 3 + 4
+sq = fn (x) { x * x }
+type(1 +i 2 +i 3 + 4)
+sq(1 +i 2 +i 3 + 4)