Cambios menores de typos, ahora EmptyExpr tiene un check() y settea el tipo a error