Ports of some racket programs to typed racket