Semantica
Al comparar los tipos
- Equivalencia estructural de tipos
- Equivalencia por nombre
Los alias
Compatibilidad por nombres(igualdad nominal) directamente se usan los alias de tipos para comparar.
Analisis de ambito, ver donde estan declaradas las variables...
El analisis de tipos desde las hojas