Represents an item in a hoisted
Each langauge-level construct has it’s own
Note that symbols have been substituted.
At this point in compilation the scope of each local is known.
A pattern that mirrors the structure of some Data.