adjust fold to use the Racket translation