Adding the racket and cKanren versions (many steps of each) along with a racket version of the abstract interpreter