Introduce ES3 recasting for IE8