insertEffects: fix set symbol

Unlike effects, symbols always need to track missing entries
conservatively. This means that a set of a symbol and a temp should
remain a set rather than simplifying to the symbol.
insertEffects: a set of no symbols now just gensyms a symbol