On Sun, 1 Jan 2023 at 01:42, Ville Voutilainen
<ville.voutilainen_at_[hidden]> wrote:

> > The elements of the string that are literals should not be of any type
> > a user can directly create.
>
> ..and this in particular puzzles me. *Why* shouold that element be of a a type
> that the user can create?

Jeesh I can't type straight. Why should that element be of a type that the
user can _not_ create? Why does such a restriction be in place?