[runeks]

The concept of linearity is referenced 21 times in various sections, but not in the introduction. As a first-time reader, I would appreciate if the introduction were to mention the role of linearity in this language before I encounter it in a subsection.

[u2zv1wx]

Thank you for your kind feedback. I'll try to come up with a concise way to mention it in the introduction.