4.0 will be released soon. What is being introduced now will stay for a while.For me one really important thing is: get the names right.
You discussion makes it clear to me that <example> is misleading and thus not
an optimal name (for both usages). So it would be better to choose something more
intention revealing like <exampleCode> and <exampleInstance>. This also makes
room for more example ideas in the future.