Euclid postulated a plane geometry based on some axioms [L1 ]. 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, Riemann 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..)