Subtypes of prototype subtypes now work correctly
Fix for subtypes of prototype subtypes

When extending a class that is a subtype of a prototype, it would clobber
___$$vis$$, yielding a useless class. See the test case for a detailed
description.