Add htdp6.rkt: ~ 6.3