kc3-lang/kc3

diff --git a/.ikc3_history b/.ikc3_history
index 571cc47..68c37ea 100644
--- a/.ikc3_history
+++ b/.ikc3_history
@@ -1,20 +1,3 @@
-a
-a <- 1
-a
-(U8) (Ptr) a
-(Tag) (Ptr) a
-(Ptr) a
-(Tag) (Ptr) a
-a = ?
-a
-(Ptr) a
-a = ?
-a
-a <- 1
-a
-(Ptr) 0x1801350e830
-(Tag) (Ptr) 0x1801350e830
-Facts.with_tags(Facts.env_facts(), KC3, :operator, ?, fn (fact) { puts(fact.object); 1 })
 Facts.with(Facts.env_facts(), [[KC3, :operator, ?]], fn (fact) { puts(fact.object); 1 })
 (Ptr) 0xf24fc9ce000
 (Tag) (Ptr) 0xf24fc9ce000
@@ -97,3 +80,20 @@ quote a = ? <- 1 ; 2
 quote 1 + 20 / 3 * 4 - 5
 quote 1 + 20 / 3 * 4
 quote 1 + 20 / 3 * 4 - 5
+1 + 1
+1 + 1000000000000000000000000000000000000000000000000000000
+(1 + 1000000000000000000000000000000000000000000000000000000) * 2
+sqrt(1 + 1000000000000000000000000000000000000000000000000000000)
+List.reverse([1, 2, 3, 4])
+List.reverse
+List.reverse([1, 2, 3, 4])
+List.map([1, 2, 3, 4], fn (x) { x * 2 })
+List.has?([1, 2, 3, 4], 1)
+List.has?([1, 2, 3, 4], 0)
+quote if true do if true do %KC3.Operator{} end end
+quote if true do if true do %KC3.Operator{sym: :-} end end
+quote if true do if true do %KC3.Operator{sym: :-, symbol_value: void} end end
+quote if true do if true do %KC3.Operator{sym: :-, symbol_value: void} else 0 end else 1 end
+a = ?
+b = ?
+a = ? ; void