I've always wanted the core semantics of Clojure - immutability, the core abstraction of Seq over lists, vectors, and maps, with some strong type inference, and a nice python-like syntax.