kc3-lang/kc3

diff --git a/.ic3_history b/.ic3_history
index ad42a22..70e9a0a 100644
--- a/.ic3_history
+++ b/.ic3_history
@@ -1,8 +1,3 @@
-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)
 sq = fn (x) { x * x }
@@ -97,3 +92,8 @@ license()
 hash
 hash(1)
 hash(2)
+license()
+defmodule Plop do
+  1 + 1
+  2 + 2
+end
diff --git a/libc3/tag.c b/libc3/tag.c
index 35aa5d5..0232347 100644
--- a/libc3/tag.c
+++ b/libc3/tag.c
@@ -637,7 +637,7 @@ bool * tag_not (const s_tag *tag, bool *dest)
   assert(tag);
   assert(dest);
   tag_init_bool(&f, false);
-  *dest = compare_tag(tag, &f) == 0 ? 1 : 0;
+  *dest = compare_tag(tag, &f) == 0 ? true : false;
   return dest;
 }
 
@@ -1128,6 +1128,6 @@ const s_sym ** tag_type (const s_tag *tag, const s_sym **dest)
 bool tag_xor (const s_tag *a, const s_tag *b)
 {
   s_tag f;
-  tag_init_1(&f, "false");
+  tag_init_bool(&f, false);
   return (compare_tag(a, &f) != 0) != (compare_tag(b, &f) != 0);
 }