1) You probably meant $\pi: X\to Y$ and not $\pi:Y\to X$. That way, any singularity that appears on a scheme of finite type over a field can be mapped to a smooth variety in a finite way. (This claim is implicit in VA's and Torsten Ekedahl's comments above).
1) You probably meant $\pi: X\to Y$ and not $\pi:Y\to X$. That way, any singularity that appears on a scheme of finite type over a field can be mapped to a smooth variety in a finite way. (This claim is implicit in VA's and Torsten Ekedahl's comments above).