Undefs won't have a chance to emit aliases, and any expression depending on Undef will be garbage either way.
Fix various bugs along the way.