I just don't see the part where "my framing" isn't the obvious "Rebol framing". Are you telling me that someone is going to add a type discipline to Rebol to where the existing code can be written in the existing style?
My motivation the whole time has been to solve the problem as framed (e.g. solve Nenad's "expert level" example): what I have done is given the language a metaprogramming framework to where people can write the code in the style they're used to with mostly minimal disruption, if that is what they want.
Yes: the people who were writing incorrect code have to make some adjustments. But if your code wasn't broken before, it can remain unchanged.
I don't think I invented the constraint. I invented the solution to an existing constraint, and that constraint is the definition of Rebol itself.