* Uberjar for Python (virtualenv on steroids)
* Optional static typing
* LLVM compilation target
* All built-in data structures should be immutable
* Better syntax for anonymous functions