Problem Solving, Abstract Images, and Functions, in Racket