diff --git a/compare/primitives.js b/compare/primitives.js
index d0aa60d..cac01e7 100644
--- a/compare/primitives.js
+++ b/compare/primitives.js
@@ -1,4 +1,4 @@
-import { Char, Double, Int, Unit } from "../primitives/types.js";
+// Total ordering of primitive types
 
 export const compareNumbers = x => y => {
   if (typeof(x) !== 'number' || typeof(y) !== 'number') {
diff --git a/compare/versioning.js b/compare/versioning.js
index b546655..e483d5a 100644
--- a/compare/versioning.js
+++ b/compare/versioning.js
@@ -1,3 +1,7 @@
+// Total ordering of slots and values (versioning library).
+// Problem: A Value produced by a transformation can depend on other Values of any type!
+//          So, we cannot statically know the entire type -> resort to dynamic typing for these?
+
 export const compareSlots = compareElems => slotA => slotB => {
   if (slotA.depth < slotB.depth) {
     return -1;