kc3-lang/kc3

diff --git a/lib/c3/0.1/c3.facts b/lib/c3/0.1/c3.facts
index ce821f5..dcc9f86 100644
--- a/lib/c3/0.1/c3.facts
+++ b/lib/c3/0.1/c3.facts
@@ -180,3 +180,5 @@ replace {C3.first, :fn, fn {
 }}
 add {C3, :symbol, C3.license}
 replace {C3.license, :cfn, cfn Void "c3_license" ()}
+add {C3, :symbol, C3.type}
+replace {C3.type, :cfn, cfn Sym "tag_type" (Tag, Result)}
diff --git a/libc3/env.c b/libc3/env.c
index 13bb540..a9141cf 100644
--- a/libc3/env.c
+++ b/libc3/env.c
@@ -645,13 +645,6 @@ bool env_eval_tuple (s_env *env, const s_tuple *tuple, s_tag *dest)
   return true;
 }
 
-s64 env_gettime ()
-{
-  struct timespec time;
-  clock_gettime(CLOCK_REALTIME, &time);
-  return time.tv_sec;
-}
-
 s_env * env_init (s_env *env)
 {
   assert(env);