> First of all, the unexpected supertype names no longer make the resolver explode. It simply issues a warning and does not add the supertype.
Option 2 is out of the question. The entire point of the `TypeHierarchyPass` is to connect classes with their supertypes. Adding a new declaration here would either duplication in our state with partial information on each instance, provided we actually make the effort to generate the right declaration, or add a disfunctional stub.
Anyway, we really