Add htdp4.rkt