Accidental complexity in "friendly" main program, a mini case study

Even if you use author-determined names, the right value behind that name must be immutable to be satisfactory. This is the mutability problem all again.

I have considered that in a separate topic, History as a First-class Citizen, which is all about built-in provenance.