Van Overveld-style (geometric/numeric) constraint relaxation in Racket.