Serialize Nockma output using nock jam

The Anoma API accepts jammed nock terms as input. The benefit to this is
that jammed terms are greatly compressed compared to the original term.

app/Commands/Compile/Anoma.hs

@@ -3,6 +3,7 @@ module Commands.Compile.Anoma where
 import Commands.Base
 import Commands.Compile.Anoma.Options
 import Commands.Extra.NewCompile
+import Juvix.Compiler.Nockma.Encoding.Jam qualified as Encoding
 import Juvix.Compiler.Nockma.Pretty qualified as Nockma
 import Juvix.Compiler.Nockma.Translation.FromTree qualified as Nockma
 
@@ -25,9 +26,9 @@ runCommand opts = do
   res <- getRight r
   outputAnomaResult (opts' ^. compileDebug) nockmaFile res
 
-outputAnomaResult :: (Members '[EmbedIO, App] r) => Bool -> Path Abs File -> Nockma.AnomaResult -> Sem r ()
+outputAnomaResult :: (Members '[EmbedIO, App, Files] r) => Bool -> Path Abs File -> Nockma.AnomaResult -> Sem r ()
 outputAnomaResult debugOutput nockmaFile Nockma.AnomaResult {..} = do
-  let code = Nockma.ppSerialize _anomaClosure
+  let code = Encoding.jamToByteString _anomaClosure
       prettyNockmaFile = replaceExtensions' [".debug", ".nockma"] nockmaFile
-  writeFileEnsureLn nockmaFile code
+  writeFileBS nockmaFile code
   when debugOutput (writeFileEnsureLn prettyNockmaFile (Nockma.ppPrint _anomaClosure))

src/Juvix/Compiler/Nockma/Encoding/Jam.hs

@@ -95,6 +95,10 @@ jamToBits =
     . evalState (initJamState @a)
     . jamSem
 
+-- | jam encode a Nock term to the bytes encoding of an atom
+jamToByteString :: forall a. (Integral a, Hashable a) => Term a -> ByteString
+jamToByteString = vectorBitsToByteString . jamToBits
+
 -- | jam encode a Nock term to an atom
 jam :: forall a r. (Integral a, Hashable a, NockNatural a, Member (Error (ErrNockNatural a)) r) => Term a -> Sem r (Atom a)
 jam t = do