I'd like a Lisp with some type declaration and inference; essentially, a more-strongly typed Clojure. Immutable data structures by default. I'd like it to cre

I'd like a Lisp with some type declaration and inference; essentially, a more-strongly typed Clojure. Immutable data structures by default. I'd like it to create stand-alone executables (not JVM bytecode), but still have a full REPL. I'd like great error messages and developer affordances (like Elm and Elixir).