Use internal `define`.  Also, what are the types of `arg-types` and `new-arg-types`? I think `arg-types` is a `Listof[Type]`.