Describe an agreed-upon semantics of the namespace stuff.

[hanjoosten]

          The problem is that we have no agreed-upon semantics of the namespace stuff. So how are we going to build it first-time-right?

Originally posted by @stefjoosten in https://github.com/AmpersandTarski/Ampersand/issues/1467#issuecomment-1950984951