Zero
Denotation
Environment
Expansion
Prefix
Symbol
Typing