The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT