It turns out that equality in particular was triggering implicit construction of strongdef types. We make it much harder for these types to spontaneously emerge.