gtp-checkup (racket): Test correctness of typed/untyped interaction.
Keywords: tests|typed-racket