kc3-lang/kc3

diff --git a/.ikc3_history b/.ikc3_history
index 0bf2cf5..2dde24f 100644
--- a/.ikc3_history
+++ b/.ikc3_history
@@ -1,12 +1,3 @@
-op = ?
-Facts.with(Facts.env_facts(), quote [[KC3, :operator, ^ op], [^ op, :symbol_value, value]], fn (fact) { puts(op); 1 })
-op = ?
-Facts.with(Facts.env_facts(), quote [[KC3, :operator, ^ op], [^ op, :symbol_value, value]], fn (fact) { puts(op); 1 })
-op = ?
-op <- 1
-op
-op <- ?
-Facts.with(Facts.env_facts(), quote [[KC3, :operator, ^ op], [^ op, :symbol_value, value]], fn (fact) { puts(op); 1 })
 Facts.with(Facts.env_facts(), quote [[KC3, :operator, op], [^ op, :symbol_value, value]], fn (fact) { puts(op); 1 })
 Facts.with(Facts.env_facts(), quote [[KC3, :operator, op], [op, :symbol_value, value]], fn (fact) { puts(op); 1 })
 Facts.with(Facts.env_facts(), quote [[KC3, :operator, unquote(op)], [unquote(op), :symbol_value, value]], fn (fact) { puts(op); 1 })
@@ -97,3 +88,12 @@ quote a = ? <- 1 ; 2
 to_lisp(quote a = ? <- 1 ; 2)
 operator(:";")
 KC3.Operator.find(:";")
+a = ?
+a
+a <- 1
+a
+a = 1
+a
+to_lisp(quote a = ? <- 1 ; 2)
+a = ?
+Facts.with_tags(Facts.env_facts(), KC3, :operator, a, fn (fact) { puts(a); 1 })