Explicit visibility for Instances

Our existing check for this missed some cases:

• Existing Instance
• Program Instance
• Instance: (for anonymous instances)

Those are all detected now, so fix all the code accordingly.