Allow recursive (undecidable) superclasses