simplifying trueRefType