Zero
Ffi
Denotation
Environment
Expansion
Prefix
Symbol
Typing