Reformat provides and requires
Remove obsolete comments from util.rkt