tycon => tpeCtor, isAbstractOverride => isAbsOverride