Não consigo entender exatamente o que é equivalência de nomes. Tenho certeza de que tenho uma estrutura abaixo. Um exemplo que meu professor deu foi o seguinte:

 Type TI=integer
 Type TTI=TI

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

a e b são estruturais e equivalentes ao nome, enquanto f e g são apenas equivalentes estruturais. Não entendo por que a e b seriam equivalentes ao nome, mas f e g não são.