diff --git a/mers/Cargo.lock b/mers/Cargo.lock
index f1c480b..275d369 100755
--- a/mers/Cargo.lock
+++ b/mers/Cargo.lock
@@ -191,7 +191,7 @@ checksum = "09fc20d2ca12cb9f044c93e3bd6d32d523e6e2ec3db4f7b2939cd99026ecd3f0"
 
 [[package]]
 name = "mers"
-version = "0.1.0"
+version = "0.3.3"
 dependencies = [
  "clap",
  "mers_lib",
@@ -199,7 +199,9 @@ dependencies = [
 
 [[package]]
 name = "mers_lib"
-version = "0.3.0"
+version = "0.3.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "4bb692b23943c1ca19206ac603ca6dcd44975cbb8ffbd45ec442137ebaf916ba"
 dependencies = [
  "colored",
  "line-span",
diff --git a/mers_lib/src/program/configs/with_list.rs b/mers_lib/src/program/configs/with_list.rs
index a053691..25550c5 100755
--- a/mers_lib/src/program/configs/with_list.rs
+++ b/mers_lib/src/program/configs/with_list.rs
@@ -296,11 +296,12 @@ impl MersType for ListT {
             .is_some_and(|v| self.0.is_included_in(&v.0))
     }
     fn subtypes(&self, acc: &mut Type) {
+        // The type of an empty list is a list where the items are `<unreachable>`
+        acc.add(Arc::new(Self(Type::empty())));
+        // All possible list types
         for t in self.0.subtypes_type().types {
             acc.add(Arc::new(Self(Type::newm(vec![t]))));
         }
-        // The type of an empty list is a list where the items are `<unreachable>`
-        acc.add(Arc::new(Self(Type::empty())));
     }
     fn as_any(&self) -> &dyn std::any::Any {
         self