Euclid postulated a plane geometry based on some axioms [http://en.wikipedia.org/wiki/Euclidean_geometry#Axioms].  The system created by those axioms allowed one to reason about shapes, and even about numbers.

One of the axioms stuck out as being somehow less 'self-evident' than the others.  So after more than a thousand years of its perfectly servicable use, Reimann and Lobachevsky tried varying that axiom, and found new geometries which weren't planar but which were useful.

The [Dodekalogue] of Tcl forms a similarly axiomatic system, and several of the axioms might be revised, leading to what one could call post-Euclidean Tcl.  I propose a systematic exploration of the results of modifying the axioms to explore the properties of the resulting near-Tcl languages.

The purpose of this exploration is to see what Tcl might become, to see which axioms are self-evidently useful (if not self-evident) and to see whether some axioms might be made simpler without loss.

----

[hat0]:  I'll bite.  Rule 6:  what happens if braces are treated as having implicit whitespace?  (e.g. if{ $x }{ puts "y" } is valid..)