Remove dead code.
Bind dead variables to Undefined.
Name resolution and type-checking for literals in patterns.