'Chevalley's Theorem and quantifier elimination for ACF in a scheme-theoretic setting'