crux. A low-level untyped intermediate purely functional language that Funky compiles to (an equivalent of Core from Haskell)