Verificacion de tipos casi completa