I really like this. It’s an intuitive model of reference in the language, and most importantly it rules out self-reference for an actual reason (never unpacks).
EDIT:
Trying to unpack the noun fully will lead to infinite regress
I wonder if you couldn’t do something with that infinite regress. Maybe that’s something interesting in a formal language—doing calculus on infinite recursion? If that’s even possible.
I really like this. It’s an intuitive model of reference in the language, and most importantly it rules out self-reference for an actual reason (never unpacks).
EDIT:
I wonder if you couldn’t do something with that infinite regress. Maybe that’s something interesting in a formal language—doing calculus on infinite recursion? If that’s even possible.