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.