Fix closure representation in the Nock backend (#3105)

* Closes #3083 
* Closes #3042 

The representation of closures is changed to make it more efficient and
compatible with the Nock calling convention.

src/Juvix/Compiler/Nockma/Language.hs

@@ -221,6 +221,14 @@ makeLenses ''WithStack
 makeLenses ''AtomInfo
 makeLenses ''CellInfo
 
+isCell :: Term a -> Bool
+isCell = \case
+  TermCell {} -> True
+  _ -> False
+
+isAtom :: Term a -> Bool
+isAtom = not . isCell
+
 atomHint :: Lens' (Atom a) (Maybe AtomHint)
 atomHint = atomInfo . atomInfoHint
 
@@ -460,6 +468,12 @@ opAddress txt p = TermCell (txt @ OpAddress #. p)
 opQuote :: (IsNock x) => Text -> x -> Term Natural
 opQuote txt p = TermCell (txt @ OpQuote #. p)
 
+opTrace :: Term Natural -> Term Natural
+opTrace val = OpHint # (nockHintAtom NockHintPuts # val) # val
+
+opTrace' :: Term Natural -> Term Natural -> Term Natural
+opTrace' msg val = OpHint # (nockNilTagged "opTrace'" # msg) # val
+
 {-# COMPLETE Cell #-}
 
 pattern Cell :: Term a -> Term a -> Cell a