__#My Dream:

* Algebraic Data Types a la Haskell

Example:

Let's define the set of natural numbers:

Nat = Z | S(Nat) with S being the operation "add one" and Z being zero.

* More freedom / built-in functions for memory management