Stephan Frank: Constraint Propagation in Common Lisp