ByteArray Core eval: filter type arguments from constructor arguments

When we're evaluating `OpByteArrayFromListByte` we need to extract the
list of bytes from the nexted list constructors that are passed to the
Op. The polymorphic type of the list is passed in as the first argument
to the constructor, so we remove it.

src/Juvix/Compiler/Core/Evaluator.hs

@@ -655,7 +655,7 @@ geval opts herr tab env0 = eval' env0
         nilTag <- builtinConstructorTag BuiltinListNil
         if
             | t == nilTag -> return []
-            | t == consTag -> case xs of
+            | t == consTag -> case (filter (not . isType') xs) of
                 (hd : tl) -> do
                   uint8Hd <- uint8FromNode hd
                   uint8Tl <- concatMapM listUInt8FromNode tl