Fixed up (still contrived) example. Added Racket implementation. Small fix to reify and F.