Dyna2 compiler/REPL in Haskell, with K3 backend