Fix implicit spotting in case blocks

When case blocks are in types we need to check which names are bound in
the case block, and not automatically bind them.