Interpretation: this label point to an item in datastructures that doesn't exist yet.
Demonstration: Arrow components relating to a Fresh item in a List/Nonempty List/Tree:
Demonstration: Scope components relating to a Fresh item in a List/Nonempty List/Tree:
Counterpart: label that points to an item that does exist is First.