Articles and demos from August 2021.
A module is one tree of names, and every name is written out in full wherever it's used.