Fix problem with Typed Racket version.

Must use `#lang typed/racket` (not plain Racket) because must use
Typed Racket's `define` -- it adds syntax properties required by the
type checker.