egraphs-good
diff --git a/‎python/egglog/builtins.py‎
Lines changed: 3 additions & 9 deletions b/‎python/egglog/builtins.py‎
Lines changed: 3 additions & 9 deletions
diff --git a/‎python/egglog/conversion.py‎
Lines changed: 3 additions & 2 deletions b/‎python/egglog/conversion.py‎
Lines changed: 3 additions & 2 deletions
@@ -534,9 +534,7 @@ def rebuild(self) -> Set[T]: ...
 converter(
     set,
     Set,
-    lambda t: Set[get_type_args()[0]](  # type: ignore[misc,operator]
-        *(convert(x, get_type_args()[0]) for x in t)
-    ),
+    lambda t: Set(*(convert(x, get_type_args()[0]) for x in t)) if t else Set[get_type_args()[0]].empty(),  # type: ignore[misc]
 )
 
 SetLike: TypeAlias = Set[T] | set[TO]
@@ -639,9 +637,7 @@ def multiset_fold(f: Callable[[T, T], T], initial: T, xs: MultiSet[T]) -> T: ...
 converter(
     tuple,
     MultiSet,
-    lambda t: MultiSet[get_type_args()[0]](  # type: ignore[misc,operator]
-        *(convert(x, get_type_args()[0]) for x in t)
-    ),
+    lambda t: MultiSet(*(convert(x, get_type_args()[0]) for x in t)) if t else MultiSet[get_type_args()[0]](),  # type: ignore[operator,misc]
 )
 
 MultiSetLike: TypeAlias = MultiSet[T] | tuple[TO, ...]
@@ -1035,9 +1031,7 @@ def map(self, fn: Callable[[T], V]) -> Vec[V]: ...
     converter(
         sequence_type,
         Vec,
-        lambda t: Vec[get_type_args()[0]](  # type: ignore[misc,operator]
-            *(convert(x, get_type_args()[0]) for x in t)
-        ),
+        lambda t: Vec(*(convert(x, get_type_args()[0]) for x in t)) if t else Vec[get_type_args()[0]].empty(),  # type: ignore[misc]
     )
 
 VecLike: TypeAlias = Vec[T] | tuple[TO, ...] | list[TO]
 
@@ -118,7 +118,8 @@ def convert(source: object, target: type[V]) -> V:
     """
     Convert a source object to a target type.
     """
-    assert isinstance(target, RuntimeClass)
+    # if not issubclass(target, RuntimeClass):
+    #     raise TypeError(f"Expected target type to be a egglog type, got {target} of type {type(target)}")
     return cast("V", resolve_literal(target.__egg_tp__, source, target.__egg_decls_thunk__))
 
 
@@ -132,7 +133,7 @@ def convert_to_same_type(source: object, target: RuntimeExpr) -> RuntimeExpr:
 
 def process_tp(tp: type | RuntimeClass) -> JustTypeRef | type:
     """
-    Process a type before converting it, to add it to the global declerations and resolve to a ref.
+    Process a type before converting it, to add it to the global declarations and resolve to a ref.
     """
     if isinstance(tp, RuntimeClass):
         _TO_PROCESS_DECLS.append(tp)