add 2htdp dependency