diff --git a/src/core-logic/dune b/src/core-logic/dune
index 6786b301..3fed959c 100644
--- a/src/core-logic/dune
+++ b/src/core-logic/dune
@@ -2,5 +2,6 @@
  (name sidekick_core_logic)
  (public_name sidekick.core-logic)
  (synopsis "Core AST for logic terms in the calculus of constructions")
+ (private_modules types_)
  (flags :standard -w +32 -open Sidekick_sigs -open Sidekick_util)
  (libraries containers iter sidekick.sigs sidekick.util))
diff --git a/src/core-logic/sidekick_core_logic.ml b/src/core-logic/sidekick_core_logic.ml
index 827a23a0..faef37b1 100644
--- a/src/core-logic/sidekick_core_logic.ml
+++ b/src/core-logic/sidekick_core_logic.ml
@@ -8,4 +8,6 @@ module T_builtins = T_builtins
 (* *)
 
 module Store = Term.Store
+
+(* TODO: move to separate library? *)
 module Str_const = Str_const