Ambiguous example formatting strings would give an error, as an invalid one does now. I like the proposal, although localization is an issue as the examples would have to be in a concrete language.

Removing unneeded abstractions is positive, specially if you have to deal with conflicting models.