A new programming language to be created by all the participants on this wiki. In the spirit of WhyWikiWorks, if you don't like any feature of this language you can always delete it, edit it, or ReFactor it. The intent is to achieve a language in which the ShortestWikiContest is won by a program consisting of a single line of code.
There are no functions. There are only binary operators. This is to enforce good factoring. If you need your operator to take more than two arguments, you'll need to do some encapsulation. For syntactic sugar, A(B) is equivalent to [0 A B].
Any operator can be made overloadable by using square brackets or CamelCase. Hence 1 + 1 evaluates to 2, but 1 [+] 1 is undefined until + is overloaded.
Operator definitions are persistently stored in a versioned database.
Operators can be namespaced by applying the A(B) syntax. Hence 1 MyNamespace(+) 1 can evaluate differently to 1 YourNamespace(+) 1