Should iterate over outer classes when simplifying an equation between two instantiated types.