Parece que no puedo entender exactamente qué nombre es la equivalencia. Sin embargo, estoy bastante seguro de que tengo una caída estructural. Un ejemplo que dio mi profesor fue este:

 Type TI=integer
 Type TTI=TI

 a=integer
 b=TTI
 f= ref float
 g= ref float

a y b son equivalentes estructurales y de nombre, mientras que f y g son equivalentes estructurales. No entiendo por qué a y b serían equivalentes de nombre, pero f y g no lo son.