Constraint programming language embedded in Racket