Soporte para verificación de tipos.